68b8837a8d
Replace docs/build*.sh with more flexible build.py
...
Notable changes:
- can build any combination of output formats in series
- `-E` is no longer passed by default to aid in development, but can be passed
manually
2022-07-22 00:30:36 -04:00
fdd406b722
ensure all files are reread on every docs build
...
this fixes the issue where the Stonesense docs were getting ignored
2022-07-10 20:19:12 -07:00
8d99b7e6e1
prepare for plugin doc split
2022-07-10 20:19:09 -07:00
470456583c
Document PDF build process and add a script for it
2020-07-15 21:42:43 -04:00
861c8c8148
Remove -q from docs/build.sh to make -v work
2020-06-17 20:36:07 -04:00
64e3b12f4f
Make docs/build.sh a bit more configurable
2016-08-23 15:54:11 -04:00
1a79e7456c
Add shell script to build docs
...
Useful for testing docs without changing BUILD_DOCS if it's set to OFF.
2016-08-11 18:43:34 -04:00
lethosor
myk002