diff options
| author | Ralf Corsepius <ralf.corsepius@rtems.org> | 2003-01-25 16:45:55 +0000 |
|---|---|---|
| committer | Ralf Corsepius <ralf.corsepius@rtems.org> | 2003-01-25 16:45:55 +0000 |
| commit | 006969258ee58d9a3c9929a53a4b87be102f66a4 (patch) | |
| tree | be9b64165955150f13373f88242bfa2fa4356493 /doc/develenv/develenv.texi | |
| parent | 2003-01-25 Ralf Corsepius <corsepiu@faw.uni-ulm.de> (diff) | |
| download | rtems-006969258ee58d9a3c9929a53a4b87be102f66a4.tar.bz2 | |
2003-01-25 Ralf Corsepius <corsepiu@faw.uni-ulm.de>
* develenv.texi: Set @setfilename develenv.info.
Diffstat (limited to '')
| -rw-r--r-- | doc/develenv/develenv.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/develenv/develenv.texi b/doc/develenv/develenv.texi index b1303e3f3d..58e46e4c8c 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 |