summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--doc/rgdb_specs/ChangeLog4
-rw-r--r--doc/rgdb_specs/rgdb_specs.texi2
2 files changed, 5 insertions, 1 deletions
diff --git a/doc/rgdb_specs/ChangeLog b/doc/rgdb_specs/ChangeLog
index bb7c95b162..cfba4c40a3 100644
--- a/doc/rgdb_specs/ChangeLog
+++ b/doc/rgdb_specs/ChangeLog
@@ -1,3 +1,7 @@
+2003-01-25 Ralf Corsepius <corsepiu@faw.uni-ulm.de>
+
+ * rgdb_specs.texi: Set @setfilename rgdb_specs.info.
+
2003-01-24 Ralf Corsepius <corsepiu@faw.uni-ulm.de>
* Makefile.am: Put GENERATED_FILES into $builddir.
diff --git a/doc/rgdb_specs/rgdb_specs.texi b/doc/rgdb_specs/rgdb_specs.texi
index 5092865c8d..ec402a57ea 100644
--- a/doc/rgdb_specs/rgdb_specs.texi
+++ b/doc/rgdb_specs/rgdb_specs.texi
@@ -1,6 +1,6 @@
\input texinfo @c -*-texinfo-*-
@c %**start of header
-@setfilename rgdb_specs
+@setfilename rgdb_specs.info
@setcontentsaftertitlepage
@syncodeindex vr fn
@synindex ky cp