don't fail to make dist on a clean repo

2014-10-14 20:54:42 -05:00 · 2014-10-14 20:54:42 -05:00 · 3d3c24670a
commit 3d3c24670a
parent cf1c1f350c
1 changed files with 1 additions and 1 deletions
--- 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