diff --git a/dist.sh b/dist.sh index 911b768..6ed275b 100755 --- a/dist.sh +++ b/dist.sh @@ -1,7 +1,7 @@ #!/bin/sh set -e -rm man/*.1 man/*.3 +rm -f man/*.1 man/*.3 ./autogen.sh ./configure make dist