diff options
author | Miles Bader <miles@gnu.org> | 2003-09-01 15:45:59 +0000 |
---|---|---|
committer | Miles Bader <miles@gnu.org> | 2003-09-01 15:45:59 +0000 |
commit | ab5796a9f97180707734a81320e3eb81937281fe (patch) | |
tree | eef8aa4dd3733966628c6a43bd924b51557519e9 /man/texinfo.tex | |
parent | 1042fe8c8ca167fdb44365d99a35492df87b078f (diff) | |
download | emacs-ab5796a9f97180707734a81320e3eb81937281fe.tar.gz |
Add arch taglines
Diffstat (limited to 'man/texinfo.tex')
-rw-r--r-- | man/texinfo.tex | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/man/texinfo.tex b/man/texinfo.tex index 35b3020e628..a7225c8a37e 100644 --- a/man/texinfo.tex +++ b/man/texinfo.tex @@ -6339,3 +6339,5 @@ should work if nowhere else does.} @c time-stamp-format: "%:y-%02m-%02d.%02H" @c time-stamp-end: "}" @c End: + +% arch-tag: e1b36e32-c96e-4135-a41a-0b2efa2ea115 |