diff man/major.texi @ 52401:695cf19ef79e

Add arch taglines
author Miles Bader <miles@gnu.org>
date Mon, 01 Sep 2003 15:45:59 +0000
parents 5464ee1ba8e2
children 0816b427495a 375f2633d815
line wrap: on
line diff
--- a/man/major.texi	Mon Sep 01 15:45:46 2003 +0000
+++ b/man/major.texi	Mon Sep 01 15:45:59 2003 +0000
@@ -169,3 +169,7 @@
 mode, and certain ``special'' major modes do not allow the mode to
 change.  You can turn off this mode-changing feature by setting
 @code{change-major-mode-with-file-name} to @code{nil}.
+
+@ignore
+   arch-tag: f2558800-cf32-4839-8acb-7d3b4df2a155
+@end ignore