diff options
Diffstat (limited to 'patches/gcc.local.patch')
-rw-r--r-- | patches/gcc.local.patch | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/patches/gcc.local.patch b/patches/gcc.local.patch new file mode 100644 index 00000000..00755c22 --- /dev/null +++ b/patches/gcc.local.patch @@ -0,0 +1,20 @@ +--- cbb-gcc-4.6.4/gcc/doc/gcc.texi.orig 2017-03-10 14:12:11.046714683 +0000 ++++ cbb-gcc-4.6.4/gcc/doc/gcc.texi 2017-05-29 13:33:34.011012575 +0000 +@@ -86,9 +86,15 @@ + @item GNU Press + @tab Website: www.gnupress.org + @item a division of the +-@tab General: @tex press@@gnu.org @end tex ++@tab General: ++@tex ++press@@gnu.org ++@end tex + @item Free Software Foundation +-@tab Orders: @tex sales@@gnu.org @end tex ++@tab Orders: ++@tex ++sales@@gnu.org ++@end tex + @item 51 Franklin Street, Fifth Floor + @tab Tel 617-542-5942 + @item Boston, MA 02110-1301 USA |