diff options
| -rwxr-xr-x | debian/rules | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/rules b/debian/rules index 9f24321b..122a0fed 100755 --- a/debian/rules +++ b/debian/rules @@ -27,7 +27,7 @@ build-indep: build-stamp build-stamp: configure-stamp dh_testdir - $(MAKE) VERSION=$(PKG_VERSION) + $(MAKE) (cd doc ; $(MAKE)) touch $@ |