diff options
author | Michal Nowikowski <godfryd@isc.org> | 2019-07-19 15:28:15 +0200 |
---|---|---|
committer | Michal Nowikowski <godfryd@isc.org> | 2019-07-30 10:45:13 +0200 |
commit | a2358cd76ce06b2d4391c9c16c42105ef4614420 (patch) | |
tree | c0ef2dafe260266dfa97fd6f858b820cfbf4e3bf /hammer.py | |
parent | [#644,!370] .gitignore added (diff) | |
download | kea-a2358cd76ce06b2d4391c9c16c42105ef4614420.tar.xz kea-a2358cd76ce06b2d4391c9c16c42105ef4614420.zip |
fixed building sphinx docs on ubuntu 18.04
Diffstat (limited to 'hammer.py')
-rwxr-xr-x | hammer.py | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1143,7 +1143,7 @@ def prepare_system_local(features, check_times): packages.append('googletest') if 'docs' in features: - packages.extend(['dblatex', 'xsltproc', 'elinks', 'docbook-xsl']) + packages.extend(['python3-sphinx', 'python3-sphinx-rtd-theme', 'latexmk']) if 'native-pkg' in features: packages.extend(['build-essential', 'fakeroot', 'devscripts']) |