diff options
| author | Bruno Haible <bruno@clisp.org> | 2007-10-28 01:35:59 +0200 |
|---|---|---|
| committer | Bruno Haible <bruno@clisp.org> | 2007-10-28 01:35:59 +0200 |
| commit | 0e88f121165602cfc0885b41f03717e4eaf5910f (patch) | |
| tree | f5da9c389f6f98ee9e6349e7066ad4c2e3a235af /doc/gnulib.texi | |
| parent | 05acb837bd070685cadb30c46ad9ffce480fc583 (diff) | |
| download | gnulib-0e88f121165602cfc0885b41f03717e4eaf5910f.tar.gz | |
Document some more things the gnulib user must be aware of.
Diffstat (limited to 'doc/gnulib.texi')
| -rw-r--r-- | doc/gnulib.texi | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/gnulib.texi b/doc/gnulib.texi index e30f6cdb2a..ca52fdc9c7 100644 --- a/doc/gnulib.texi +++ b/doc/gnulib.texi @@ -5,6 +5,9 @@ @settitle GNU Gnulib @syncodeindex fn cp @syncodeindex pg cp +@ifclear texi2html +@firstparagraphindent insert +@end ifclear @comment %**end of header @set UPDATED $Date: 2007-09-09 13:20:45 $ |