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 | |
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')
-rw-r--r-- | debian/control | 13 | ||||
-rwxr-xr-x | debian/rules | 3 |
2 files changed, 16 insertions, 0 deletions
diff --git a/debian/control b/debian/control index f48a3f80..a340b723 100644 --- a/debian/control +++ b/debian/control @@ -14,6 +14,19 @@ Build-Depends: debhelper (>= 9), libffi-dev, pkg-config, txt2man, + texlive-base, + texlive-generic-recommended, + texlive-fonts-recommended, + texlive-fonts-extra, + texlive-latex-base, + texlive-latex-extra, + texlive-font-utils, + texlive-science, + texlive-publishers, + texlive-bibtex-extra, + lmodern, + graphviz, + berkeley-abc (>= 1.01), python3 Standards-Version: 3.9.7 Vcs-Browser: https://anonscm.debian.org/cgit/debian-science/packages/yosys.git 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 |