[yosys] 04/11: teach debian to build the docs (manual and presentation)

[Sebastian Kuzminsky]

This is an automated email from the git hooks/post-receive script.

seb_kuzminsky-guest pushed a commit to branch doc-dev-debs-2
in repository yosys.

commit 48afb5dab1492a3f283522e469faeaa9cb1d7623
Author: Sebastian Kuzminsky <seb at highlab.com>
Date:   Sun Feb 28 22:33:33 2016 -0700

    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.
---
 debian/control | 13 +++++++++++++
 debian/rules   |  3 +++
 2 files changed, 16 insertions(+)

diff --git a/debian/control b/debian/control
index f48a3f8..a340b72 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 0bcf21a..5b6a6c0 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

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/yosys.git