diff man/ada-mode.texi @ 25913:2552233fdd74

Set file name to ../info/ada-mode
author Gerd Moellmann <gerd@gnu.org>
date Thu, 07 Oct 1999 21:22:20 +0000
parents 3a06267f733d
children 2b08d829af86
line wrap: on
line diff
--- a/man/ada-mode.texi	Thu Oct 07 21:21:49 1999 +0000
+++ b/man/ada-mode.texi	Thu Oct 07 21:22:20 1999 +0000
@@ -1,5 +1,5 @@
 \input texinfo  @c -*-texinfo-*-
-@setfilename ada-mode.info
+@setfilename ../info/ada-mode
 @settitle Ada Mode
 
 @ifinfo