diff options
author | Sebastian Kuzminsky <seb@highlab.com> | 2016-02-28 22:33:33 -0700 |
---|---|---|
committer | Sebastian Kuzminsky <seb@highlab.com> | 2016-03-28 21:55:19 -0600 |
commit | 48afb5dab1492a3f283522e469faeaa9cb1d7623 (patch) | |
tree | 5039a6071650e8e308701dab734741cafccbb760 /debian/rules | |
parent | c3bbf19315067dc4dbc4aaf132a2b20d63f87da0 (diff) |
teach debian to build the docs (manual and presentation)
Add build-dependencies needed to build the documentation.
Call the upstream build system to build the documentation.
Diffstat (limited to 'debian/rules')
-rwxr-xr-x | debian/rules | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/debian/rules b/debian/rules index 0bcf21a7..5b6a6c04 100755 --- a/debian/rules +++ b/debian/rules @@ -22,3 +22,6 @@ override_dh_auto_configure: override_dh_installman: cd debian/man ; CHANGELOG_DATE="$(CHANGELOG_DATE)" ./genmanpages.sh dh_installman + +override_dh_auto_build: + dh_auto_build --parallel -- all manual |