diff options
Diffstat (limited to '')
-rw-r--r-- | doc/rgdb_specs/rgdb_specs.texi | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/rgdb_specs/rgdb_specs.texi b/doc/rgdb_specs/rgdb_specs.texi index b549fa174a..5092865c8d 100644 --- a/doc/rgdb_specs/rgdb_specs.texi +++ b/doc/rgdb_specs/rgdb_specs.texi @@ -1,13 +1,14 @@ \input texinfo @c -*-texinfo-*- @c %**start of header @setfilename rgdb_specs +@setcontentsaftertitlepage @syncodeindex vr fn @synindex ky cp @paragraphindent 0 @c %**end of header @c -@c COPYRIGHT (c) 1988-1999. +@c COPYRIGHT (c) 1988-2002. @c On-Line Applications Research Corporation (OAR). @c All rights reserved. @c |