diff options
Diffstat (limited to 'gcc/doc/include')
| -rw-r--r-- | gcc/doc/include/gpl.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/doc/include/gpl.texi b/gcc/doc/include/gpl.texi index 1c9d85a96bc..32e74060f26 100644 --- a/gcc/doc/include/gpl.texi +++ b/gcc/doc/include/gpl.texi @@ -61,7 +61,7 @@ patent must be licensed for everyone's free use or not licensed at all. modification follow. @iftex -@unnumberedsec TERMS AND CONDITIONS FOR COPYING, DISTRIBUTION AND MODIFICATION +@unnumberedsec TERMS AND CONDITIONS FOR COPYING,@*DISTRIBUTION AND MODIFICATION @end iftex @ifnottex @center TERMS AND CONDITIONS FOR COPYING, DISTRIBUTION AND MODIFICATION |