diff options
| -rwxr-xr-x | debian/rules | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/debian/rules b/debian/rules index 969ccc2..2526958 100755 --- a/debian/rules +++ b/debian/rules @@ -23,7 +23,6 @@ config.status: patch-stamp configure --mandir=\$${prefix}/share/man \ --infodir=\$${prefix}/share/info - build: build-stamp build-stamp: config.status |