Browse Source

Remove old docs before new build

master
Sven Karsten 3 months ago
parent
commit
0dafc8b771
  1. 2
      report/build_report.sh

2
report/build_report.sh

@ -1,7 +1,7 @@
#!/bin/bash
# clean last build
rm -r _build/html _build/.doctrees
rm -r _build/docs _build/.doctrees
# build _toc.yml
python3 get_files.py

Loading…
Cancel
Save