diff options
| author | jsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4> | 2001-12-04 09:21:56 +0000 |
|---|---|---|
| committer | jsm28 <jsm28@138bc75d-0d04-0410-961f-82ee72b054a4> | 2001-12-04 09:21:56 +0000 |
| commit | a71ebc23bd00eb21f5964e81da1fecd9f4b4c651 (patch) | |
| tree | cdb77d701250de1d6a1264d17f7888b10559553f /gcc/doc/include | |
| parent | 5c91d7618b2d937f40d3f8cca06c560a3aa036d0 (diff) | |
| download | gcc-a71ebc23bd00eb21f5964e81da1fecd9f4b4c651.tar.gz | |
* doc/install.texi: Use the GFDL. Include years from old install
manual in copyright notice. Include copyright and GFDL notice on
HTML index page. Include usual footer on testing.html.
* doc/install.texi2html: Build gfdl.html. Use -I
$SOURCEDIR/include.
* doc/include/fdl.texi: Adapt for use in the install manual.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@47598 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/doc/include')
| -rw-r--r-- | gcc/doc/include/fdl.texi | 17 |
1 files changed, 16 insertions, 1 deletions
diff --git a/gcc/doc/include/fdl.texi b/gcc/doc/include/fdl.texi index b24818bab89..88cf36762c8 100644 --- a/gcc/doc/include/fdl.texi +++ b/gcc/doc/include/fdl.texi @@ -13,9 +13,24 @@ Everyone is permitted to copy and distribute verbatim copies of this license document, but changing it is not allowed. @c man end @end ignore -@node GNU Free Documentation License +@c Special handling for inclusion in the install manual. +@ifset gfdlhtml +@ifnothtml +@comment node-name, next, previous, up +@node GNU Free Documentation License, Concept Index, Specific, Top +@end ifnothtml +@html +<h1 align="center">Installing GCC: GNU Free Documentation License</h1> +@end html +@ifnothtml +@unnumbered GNU Free Documentation License +@end ifnothtml +@end ifset @c man begin DESCRIPTION +@ifclear gfdlhtml +@node GNU Free Documentation License @unnumbered GNU Free Documentation License +@end ifclear @cindex FDL, GNU Free Documentation License @center Version 1.1, March 2000 |