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/control | |
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/control')
-rw-r--r-- | debian/control | 13 |
1 files changed, 13 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 |