summaryrefslogtreecommitdiffstats
path: root/doc/develenv/develenv.texi
diff options
context:
space:
mode:
authorRalf Corsepius <ralf.corsepius@rtems.org>2003-04-29 10:45:29 +0000
committerRalf Corsepius <ralf.corsepius@rtems.org>2003-04-29 10:45:29 +0000
commit401ae9c017a16bc50d697527a8ea60ab2c9ee749 (patch)
treeb49aa50fff4799a399f9d86802cd995f8541a3c9 /doc/develenv/develenv.texi
parentMerger from rtems-4-6-branch. (diff)
downloadrtems-401ae9c017a16bc50d697527a8ea60ab2c9ee749.tar.bz2
Merger from rtems-4-6-branch.
Diffstat (limited to 'doc/develenv/develenv.texi')
-rw-r--r--doc/develenv/develenv.texi2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/develenv/develenv.texi b/doc/develenv/develenv.texi
index 76cd365a5e..47fba4168c 100644
--- 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