diff options
Diffstat (limited to 'doc/misc/woman.texi')
| -rw-r--r-- | doc/misc/woman.texi | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/misc/woman.texi b/doc/misc/woman.texi index 8f8fd5f2287..d7ef94872b4 100644 --- a/doc/misc/woman.texi +++ b/doc/misc/woman.texi @@ -4,7 +4,7 @@ @settitle WoMan: Browse Unix Manual Pages ``W.O. (without) Man'' @c FIXME @c Manual last updated: -@set UPDATED Time-stamp: <2012-12-31 21:44:20 eggert> +@set UPDATED Time-stamp: <2013-02-12 09:05:54 eggert> @c Software version: @set VERSION 0.54 (beta) @afourpaper @@ -929,7 +929,7 @@ for a man configuration file. The default is @noindent [for GNU/Linux and Cygwin respectively.] A trailing separator (@file{/} -for UNIX etc.) on directories is optional and the filename matched if a +for UNIX etc.)@: on directories is optional and the filename matched if a directory is specified is the first to match the regexp @code{man.*\.conf}. If the environment variable @code{MANPATH} is not set but a configuration file is found then it is parsed instead (or as |