diff options
| -rwxr-xr-x | debian/rules | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/debian/rules b/debian/rules index 04c3c29..c63b8d2 100755 --- a/debian/rules +++ b/debian/rules @@ -43,16 +43,12 @@ else endif override_dh_auto_configure-indep: -ifneq (,$(findstring nocheck,$(DEB_BUILD_OPTIONS))) - @echo Skipping docs -else dh_auto_configure --builddirectory debian/normal-build -- \ $(opt_reproduce) \ --enable-threads --disable-static \ $(opt_optimize) $(opt_quiet) \ --enable-doxygen \ --disable-xzdec --disable-lzmadec -endif override_dh_auto_configure-arch: dh_auto_configure --builddirectory debian/normal-build -- \ |