diff options
Diffstat (limited to 'doc/idutils.texi')
| -rw-r--r-- | doc/idutils.texi | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/doc/idutils.texi b/doc/idutils.texi index cefbf8b..e4a929b 100644 --- a/doc/idutils.texi +++ b/doc/idutils.texi @@ -62,7 +62,6 @@ license to the document, as described in section 6 of the license. @author Tom Horsley @end titlepage -@ifinfo @c ************* gkm ********************************************************* @node Top @top ID utilities @@ -81,7 +80,6 @@ This manual documents version @value{VERSION} of the ID utilities. * Past and Future:: History and future directions. * Index:: General index. @end menu -@end ifinfo @c ************* gkm ********************************************************* @node Introduction |