diff options
| -rwxr-xr-x | debian/rules | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/rules b/debian/rules index 3580b39..3a76e1b 100755 --- a/debian/rules +++ b/debian/rules @@ -12,7 +12,7 @@ override_dh_auto_configure: -DCMAKE_BUILD_TYPE:String="Release" \ -DENABLE_TESTS=ON -execute_after_dh_auto_build: ifeq (,$(findstring nodoc, $(DEB_BUILD_OPTIONS))) +execute_after_dh_auto_build: $(MAKE) -C obj-*/ doc endif |