diff options
| -rw-r--r-- | doc/autoconf.texi | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/doc/autoconf.texi b/doc/autoconf.texi index 029ddd65..ddbeddfb 100644 --- a/doc/autoconf.texi +++ b/doc/autoconf.texi @@ -6,9 +6,6 @@ @settitle Autoconf @documentencoding UTF-8 @setchapternewpage odd -@ifnothtml -@setcontentsaftertitlepage -@end ifnothtml @finalout @c @ovar(ARG) |