picnoir/glibc
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

manual: Show copyright information not just in the printed manual

Browse source 
@insertcopying was not used at all in the Info and HTML versions.
As a result, the notices that need to be present according to the
GNU Free Documentation License were missing.

This commit shows these notices above the table of contents in the
HTML version, and as part of the Main Menu node in the Info version.

Remove the "This file documents" line because it is redundant with the
following line.

Tested-by: Carlos O'Donell <carlos@redhat.com>
Reviewed-by: Carlos O'Donell <carlos@redhat.com>
This commit is contained in:
Florian Weimer 2020-07-03 10:06:24 +02:00
parent c6aac3bf36
commit a3f747a912
1 changed files with 11 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

20
manual/libc.texinfo
View file

@ -40,8 +40,6 @@
@set FDL_VERSION 1.3
@copying
This file documents @theglibc{}.
This is
@c Disabled (printed editions, see above).
@c Edition @value{EDITION} of
@ -105,20 +103,24 @@ supports it in developing GNU and promoting software freedom.''
@end titlepage
@c @titlepage is only visible in the printed manual. Show the
@c copyright information elsewhere in other renderings. For the HTML
@c version, it should come above the short table of contents. In the
@c Info manual, the option below is used.
@ifhtml
@insertcopying
@end ifhtml
@shortcontents
@contents
@ifnottex
@node Top, Introduction, (dir), (dir)
@top Main Menu
This is
@c Disabled (printed editions, see above).
@c Edition @value{EDITION} of
@cite{The GNU C Library Reference Manual}, for Version @value{VERSION}
@ifclear PKGVERSION_DEFAULT
@value{PKGVERSION}
@end ifclear
of @theglibc{}.
@ifnothtml
@insertcopying
@end ifnothtml
@end ifnottex
@include top-menu.texi