# HG changeset patch
# User Gerd Moellmann <gerd@gnu.org>
# Date 939331340 0
# Node ID 2552233fdd7402d13f2c24c03e28ffc46b9e99ab
# Parent  83a419607df536409916a7b21184db1a691a239c
Set file name to ../info/ada-mode

diff -r 83a419607df5 -r 2552233fdd74 man/ada-mode.texi
--- 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