diff options
Diffstat (limited to 'shells/linux.nix')
| -rw-r--r-- | shells/linux.nix | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/shells/linux.nix b/shells/linux.nix index eaf2e7ecb2ca..0ea7e4f85c85 100644 --- a/shells/linux.nix +++ b/shells/linux.nix @@ -13,7 +13,8 @@ with pkgs; gmp libmpc mpfr # For documentation - graphviz imagemagick python3Packages.sphinx python3Packages.sphinx_rtd_theme - texlive.combined.scheme-minimal + asciidoc docbook-xsl-nons docbook_xml_dtd_45 graphviz imagemagick + python3Packages.sphinx python3Packages.sphinx_rtd_theme sourceHighlight + texlive.combined.scheme-minimal xmlto ]; }) |