diff options
Diffstat (limited to 'man/woman.texi')
| -rw-r--r-- | man/woman.texi | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/man/woman.texi b/man/woman.texi index 590b78022f6..36cd254e6d3 100644 --- a/man/woman.texi +++ b/man/woman.texi @@ -1,5 +1,5 @@ \input texinfo @c -*-texinfo-*- -@c $Id: woman.texi,v 1.12 2002/10/02 23:24:31 karl Exp $ +@c $Id: woman.texi,v 1.13 2002/12/10 13:20:09 pj Exp $ @c %**start of header @setfilename ../info/woman @settitle WoMan: Browse Unix Manual Pages ``W.O. (without) Man'' @@ -1642,3 +1642,7 @@ Eli Zaretskii, @email{eliz@@is.elta.co.il} @printindex cp @bye + +@ignore + arch-tag: a1a6b715-396f-4378-9b94-0b2ca0aa5028 +@end ignore |