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 |
