diff options
| author | Miles Bader <[email protected]> | 2003-09-01 15:45:59 +0000 |
|---|---|---|
| committer | Miles Bader <[email protected]> | 2003-09-01 15:45:59 +0000 |
| commit | ab5796a9f97180707734a81320e3eb81937281fe (patch) | |
| tree | eef8aa4dd3733966628c6a43bd924b51557519e9 /man/reftex.texi | |
| parent | 1042fe8c8ca167fdb44365d99a35492df87b078f (diff) | |
Add arch taglines
Diffstat (limited to 'man/reftex.texi')
| -rw-r--r-- | man/reftex.texi | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/man/reftex.texi b/man/reftex.texi index 449efce9ce..b1c4ae561b 100644 --- a/man/reftex.texi +++ b/man/reftex.texi @@ -5591,3 +5591,6 @@ part does not reset the chapter counter. See new option @contents @bye +@ignore + arch-tag: 1e055774-0576-4b1b-b47f-550d0961fd43 +@end ignore |