From f895bc1fe51db4fcac9d4244101e958c9c444d29 Mon Sep 17 00:00:00 2001 From: Gerd Moellmann Date: Thu, 7 Oct 1999 21:22:20 +0000 Subject: [PATCH] Set file name to ../info/ada-mode --- man/ada-mode.texi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.39.5