mirror of
https://gitlab.rtems.org/rtems/rtos/rtems.git
synced 2025-11-16 12:34:45 +00:00
2003-04-29 Ralf Corsepius <corsepiu@faw.uni-ulm.de>
* develenv.texi: Fix @setfilename to develenv.info.
This commit is contained in:
@@ -1,3 +1,7 @@
|
||||
2003-04-29 Ralf Corsepius <corsepiu@faw.uni-ulm.de>
|
||||
|
||||
* develenv.texi: Fix @setfilename to develenv.info.
|
||||
|
||||
2003-04-17 Joel Sherrill <joel@OARcorp.com>
|
||||
|
||||
* .cvsignore, ChangeLog, Makefile.am, develenv.texi: Merged from head.
|
||||
|
||||
@@ -1,6 +1,6 @@
|
||||
\input texinfo @c -*-texinfo-*-
|
||||
@c %**start of header
|
||||
@setfilename develenv
|
||||
@setfilename develenv.info
|
||||
@setcontentsaftertitlepage
|
||||
@syncodeindex vr fn
|
||||
@synindex ky cp
|
||||
|
||||
Reference in New Issue
Block a user