From 38572aef38ed4cab8a2ec2286a25841172d5b4fa Mon Sep 17 00:00:00 2001 From: Luc Teirlinck Date: Mon, 6 Oct 2003 21:54:09 +0000 Subject: [PATCH] Replace `%' in arch tagline by @ignore. --- man/texinfo.tex | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/man/texinfo.tex b/man/texinfo.tex index a7225c8a37e..27f804eb55f 100644 --- a/man/texinfo.tex +++ b/man/texinfo.tex @@ -3,7 +3,7 @@ % Load plain if necessary, i.e., if running under initex. \expandafter\ifx\csname fmtname\endcsname\relax\input plain\fi % -\def\texinfoversion{2002-06-04.06} +\def\texinfoversion{2003-10-06.16} % % Copyright (C) 1985, 86, 88, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, % 2000, 01, 02 Free Software Foundation, Inc. @@ -6340,4 +6340,6 @@ should work if nowhere else does.} @c time-stamp-end: "}" @c End: -% arch-tag: e1b36e32-c96e-4135-a41a-0b2efa2ea115 +@ignore + arch-tag: e1b36e32-c96e-4135-a41a-0b2efa2ea115 +@end ignore -- 2.39.2