diff options
| author | Peter Palfrader <peter@palfrader.org> | 2002-07-16 00:14:38 +0000 |
|---|---|---|
| committer | Peter Palfrader <peter@palfrader.org> | 2002-07-16 00:14:38 +0000 |
| commit | a280ffe7dfb7f1b4d87d40c57b604dba3fb9964f (patch) | |
| tree | dd4ebf1e204c6412c9a16eaf656439cc80a8ce12 | |
| parent | 6c92176742282974bb206409c575350e8ab5dd51 (diff) | |
Build pingd.conf.5
| -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" |