2003-01-25 Ralf Corsepius <corsepiu@faw.uni-ulm.de>

* develenv.texi: Set @setfilename develenv.info.
2003-01-25 16:45:55 +00:00
parent d1fbaa6120
commit 006969258e
2 changed files with 5 additions and 1 deletions
--- a/doc/develenv/develenv.texi
+++ b/doc/develenv/develenv.texi
@@ -1,6 +1,6 @@
 \input texinfo   @c -*-texinfo-*-
@c %**start of header
-@setfilename develenv
+@setfilename develenv.info
@setcontentsaftertitlepage
@syncodeindex vr fn
@synindex ky cp