Add doxygen/Sphinx/better-theme to Docker image

rsmmr / hilti

**NOTE**: This is outdated and no longer maintained. There's a new version at https://github.com/zeek/spicy.

Other

40 stars 22 forks source link

Closed dloss closed 7 years ago

dloss commented 7 years ago

These tools are needed to build the docs from inside the Docker container.

The "better-theme" for Sphinx is currently not available as an Ubuntu package, so we use pip to install it.