nix: Move docs tools into core infrastructure

2024-02-18 13:10:00 +01:00
parent e110fdbd2c
commit a1f2ecadda
11 changed files with 170 additions and 154 deletions
@@ -8,7 +8,7 @@ function build() {
  sphinx-build --color -W -a -n . -b "$@"
 }

-if [ $# -eq 0 ]; then
+if [ "${1:-}" == "" ]; then
  # clean previous build, otherwise some errors might be supressed
  rm -rf "_build/html/default"