diff options
Diffstat (limited to 'tools/generate-manpages.bash')
-rw-r--r-- | tools/generate-manpages.bash | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/tools/generate-manpages.bash b/tools/generate-manpages.bash new file mode 100644 index 000000000..0bc13123d --- /dev/null +++ b/tools/generate-manpages.bash @@ -0,0 +1,11 @@ +#!/bin/bash + +# This makes building our manpages easier and more consistent. + +if [ ! -d man -o ! -d tools -o ! -d doc ] +then + echo "Must be in the top-level bcfg2 source directory" + exit 1 +fi + +sphinx-build -b man -D copyright="" doc man |