Drop the Debian package option for building docs

We are now using an extension which is not packaged.

Signed-off-by: Richard Laager <rlaager@wiktel.com>
This commit is contained in:
Richard Laager
2020-05-30 15:03:38 -05:00
parent 58f5b16286
commit 0ccf839233
6 changed files with 0 additions and 25 deletions

View File

@@ -23,11 +23,6 @@ The dependencies are available via pip::
# Add ~/.local/bin to your $PATH, e.g. by adding this to ~/.bashrc:
PATH=$HOME/.local/bin:$PATH
Debian 11 (“testing”) / Ubuntu 20.04 or later have the dependencies packaged::
sudo apt install python3-sphinx python3-sphinx-issues \
python3-sphinx-rtd-theme
Build
~~~~~