diff options
Diffstat (limited to 'patch-gcc46-texi.diff')
-rw-r--r-- | patch-gcc46-texi.diff | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/patch-gcc46-texi.diff b/patch-gcc46-texi.diff new file mode 100644 index 000000000000..783ee871d04e --- /dev/null +++ b/patch-gcc46-texi.diff @@ -0,0 +1,28 @@ +--- ./gcc/doc/gcc.texi.orig 2017-03-01 16:56:48.000000000 -0800 ++++ ./gcc/doc/gcc.texi 2017-03-01 17:03:38.000000000 -0800 +@@ -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 +@@ -108,6 +114,7 @@ + @sp 1 + @insertcopying + @end titlepage ++ + @summarycontents + @contents + @page |