diff options
Diffstat (limited to 'tools/manpagegen/generate-manpages.bash')
-rw-r--r-- | tools/manpagegen/generate-manpages.bash | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/tools/manpagegen/generate-manpages.bash b/tools/manpagegen/generate-manpages.bash deleted file mode 100644 index 62006c953..000000000 --- a/tools/manpagegen/generate-manpages.bash +++ /dev/null @@ -1,17 +0,0 @@ -#!/bin/bash - -# This makes building our manpages easier and more consistent. More -# information about the tool used to do this can be found at: -# -# https://github.com/rtomayko/ronn - -if [ ! -d man -o ! -d tools ] -then - echo "Must be in the top-level bcfg2 source directory" - exit 1 -fi - -for f in $(ls man) -do - ronn -r --pipe tools/manpagegen/${f}.ronn | grep -iv ronn > man/${f} -done |