Changeset 7ff55d43 in rtems for doc/supplements/hppa1_1/hppa1_1.texi

Timestamp:

Jan 25, 2003, 4:46:28 PM (18 years ago)

Author:

Ralf Corsepius <ralf.corsepius@…>

Branches:

4.10, 4.11, 4.8, 4.9, 5, master

Children:

01f46a73

Parents:

b88b6bd

Message:

2003-01-25 Ralf Corsepius <corsepiu@…>

• hppa1_1.texi: Set @setfilename hppa1_1.info.

File:

• doc/supplements/hppa1_1/hppa1_1.texi (modified) (1 diff)

doc/supplements/hppa1_1/hppa1_1.texi

@@ -1 +1 @@
 \input texinfo   @c -*-texinfo-*-
 @c %**start of header
-@setfilename hppa1_1
+@setfilename hppa1_1.info
 @setcontentsaftertitlepage
 @syncodeindex vr fn