diff options
author | Sebastian Kuzminsky <seb@highlab.com> | 2016-02-29 09:23:42 -0700 |
---|---|---|
committer | Sebastian Kuzminsky <seb@highlab.com> | 2016-04-04 11:50:33 -0600 |
commit | 5f5881b35f90256d5fe4a6ffed93aa86956267f8 (patch) | |
tree | 59c7d36250e50ebd9db378c880500595f9ccbe9b /debian/rules | |
parent | 48afb5dab1492a3f283522e469faeaa9cb1d7623 (diff) |
add yosys-doc
Include the "manual" and "presentation" pdfs in yosys-doc.deb.
Don't compress the pdf docs.
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 5b6a6c04..bd478233 100755 --- a/debian/rules +++ b/debian/rules @@ -23,5 +23,8 @@ override_dh_installman: cd debian/man ; CHANGELOG_DATE="$(CHANGELOG_DATE)" ./genmanpages.sh dh_installman +override_dh_compress: + dh_compress --exclude=.pdf + override_dh_auto_build: dh_auto_build --parallel -- all manual |