diff options
author | Silvio Rhatto <rhatto@riseup.net> | 2017-12-21 10:48:32 -0200 |
---|---|---|
committer | Silvio Rhatto <rhatto@riseup.net> | 2017-12-21 10:48:32 -0200 |
commit | ea92b113ff9e1a8ecd176c801683287f63a1e37f (patch) | |
tree | fd7ff5d25f0135c2d452abd52689cf4c06d905bd | |
parent | cdd83dfbbd0fee62d4961f9efba5745a8e0b5f89 (diff) | |
download | qutebrowser-ea92b113ff9e1a8ecd176c801683287f63a1e37f.tar.gz qutebrowser-ea92b113ff9e1a8ecd176c801683287f63a1e37f.tar.bz2 |
Build docs
-rwxr-xr-x | qutebrowser | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/qutebrowser b/qutebrowser index bb7ac58..983e542 100755 --- a/qutebrowser +++ b/qutebrowser @@ -22,8 +22,13 @@ else # Build qutebrowser cd dist &> /dev/null && tox -r -e mkvenv-pypi - #sudo apt install --no-install-recommends asciidoc source-highlight - #python3 scripts/asciidoc2html.py + # Check for doc builder + if ! dpkg-query -W -f='${Status}' asciidoc | grep -q '^install ok'; then + sudo apt install --no-install-recommends asciidoc source-highlight + fi + + # Build docs + python3 scripts/asciidoc2html.py # Run this script again $0 |