diff options
-rwxr-xr-x | dist.sh | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,7 +1,7 @@ | |||
1 | #!/bin/sh | 1 | #!/bin/sh |
2 | set -e | 2 | set -e |
3 | 3 | ||
4 | rm man/*.1 man/*.3 | 4 | rm -f man/*.1 man/*.3 |
5 | ./autogen.sh | 5 | ./autogen.sh |
6 | ./configure | 6 | ./configure |
7 | make dist | 7 | make dist |