diff options
| author | Gerd Moellmann <gerd@gnu.org> | 1999-10-07 21:22:20 +0000 |
|---|---|---|
| committer | Gerd Moellmann <gerd@gnu.org> | 1999-10-07 21:22:20 +0000 |
| commit | f895bc1fe51db4fcac9d4244101e958c9c444d29 (patch) | |
| tree | dcd8acb8a8e463b6b649d53e2db18cead873a491 /man/ada-mode.texi | |
| parent | 6bf5555270d18063af44978a16d8564f3d0bfe50 (diff) | |
| download | emacs-f895bc1fe51db4fcac9d4244101e958c9c444d29.tar.gz | |
Set file name to ../info/ada-mode
Diffstat (limited to 'man/ada-mode.texi')
| -rw-r--r-- | man/ada-mode.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man/ada-mode.texi b/man/ada-mode.texi index f937921f28c..d5948490400 100644 --- a/man/ada-mode.texi +++ b/man/ada-mode.texi @@ -1,5 +1,5 @@ \input texinfo @c -*-texinfo-*- -@setfilename ada-mode.info +@setfilename ../info/ada-mode @settitle Ada Mode @ifinfo |