diff options
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/create-distribution | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/create-distribution b/tools/create-distribution index 35f58a4..bd21c9c 100755 --- a/tools/create-distribution +++ b/tools/create-distribution @@ -6,9 +6,10 @@ set -e find -name .cvsignore -print0 | xargs -0 rm -pod2man pingd > pingd.1 version=`grep 'VERSION =' pingd | sed -e "s/.* '//" -e "s/'.*//"` dirname=`basename \`pwd\`` +pod2man --section=1 --release="$version" --center=Echolot pingd doc/pingd.1 +pod2man --section=5 --release="$version" --center=Echolot doc/pingd.conf.pod doc/pingd.conf.5 if [ "$dirname" != "echolot-$version" ] ; then echo "WARN: Version $version might be wrong" |