summaryrefslogtreecommitdiffstats
path: root/hammer.py
diff options
context:
space:
mode:
authorMichal Nowikowski <godfryd@isc.org>2019-07-19 15:28:15 +0200
committerMichal Nowikowski <godfryd@isc.org>2019-07-30 10:45:13 +0200
commita2358cd76ce06b2d4391c9c16c42105ef4614420 (patch)
treec0ef2dafe260266dfa97fd6f858b820cfbf4e3bf /hammer.py
parent[#644,!370] .gitignore added (diff)
downloadkea-a2358cd76ce06b2d4391c9c16c42105ef4614420.tar.xz
kea-a2358cd76ce06b2d4391c9c16c42105ef4614420.zip
fixed building sphinx docs on ubuntu 18.04
Diffstat (limited to 'hammer.py')
-rwxr-xr-xhammer.py2
1 files changed, 1 insertions, 1 deletions
diff --git a/hammer.py b/hammer.py
index 73a1045233..d2560466e4 100755
--- a/hammer.py
+++ b/hammer.py
@@ -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'])