diff options
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/dohtml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/bin/dohtml b/bin/dohtml index b94629a76..6aeb68ee5 100755 --- a/bin/dohtml +++ b/bin/dohtml @@ -100,6 +100,7 @@ def print_help(): print " -f Set list of allowed extensionless file names." print " -x Set directories to be excluded from recursion." print " Default:", ",".join(opts.disallowed_dirs) + print " -p Set a document prefix for installed files (empty by default)." print " -r Install files and directories recursively." print " -V Be verbose." print |