changeset 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 83a419607df5
children 5b157f24c1e8
files man/ada-mode.texi
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
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