Imagelibrary/rtems
1
0
Fork 1
mirror of https://gitlab.rtems.org/rtems/rtos/rtems.git synced 2025-12-05 15:15:44 +00:00
Code Issues Packages Projects Releases Wiki Activity

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

Browse Source 
* ada_user.texi: Set @setfilename ada_user.info.
This commit is contained in:
Ralf Corsepius
2003-01-25 16:45:50 +00:00
parent ee9dde16f3
commit 5db2323b74
2 changed files with 5 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
doc/ada_user/ChangeLog
View File

@@ -1,3 +1,7 @@
2003-01-25 Ralf Corsepius <corsepiu@faw.uni-ulm.de>
* ada_user.texi: Set @setfilename ada_user.info.
2003-01-24 Ralf Corsepius <corsepiu@faw.uni-ulm.de>
* Makefile.am: Put GENERATED_FILES into $builddir.

2
doc/ada_user/ada_user.texi
View File

@@ -1,6 +1,6 @@
\input texinfo @c -*-texinfo-*-
@c %**start of header
@setfilename ada_user
@setfilename ada_user.info
@setcontentsaftertitlepage
@syncodeindex vr fn
@synindex ky cp