9ebd796cd8
Remove GGP support
2024-07-08 14:19:42 +01:00
5cd04f27a0
Fix some encoding issues with sphinx docs in htmlhelp builder
2020-03-09 10:57:05 +00:00
bfd575306c
Improve docs build script to work on Windows 10 WSL
2018-08-20 11:57:01 +01:00
f9b78a9312
Configure sphinx to require 1.5 for building htmlhelp
...
* This version contains the fix for sphinx-doc/sphinx#2550 so we want to
assume it is present and tidy up all the external links. However if
needed (and you don't care about the external links being broken) you
can locally remove this version requirement.
2016-09-27 15:13:46 +02:00
362d33813c
Add code to run hhc.exe to make.bat and Makefile
...
* Thanks to @mivance for the make.bat code!
2016-08-10 12:56:36 +02:00
e8f76b35c0
Copy introduction.html over index.html for chm builds
2016-05-16 20:01:16 +02:00
aa3bd8a674
Add convenience to docs make.sh to also call hhc.exe to build the .chm
2016-05-16 16:33:32 +02:00
29f1d1af62
Add post-processing for the sphinx htmlhelp output before build
...
* Copies our .hhk into the build folder
* Removes TOC entries that just refer to anchors - it's unnecessary and
just clutters up the TOC.
2016-05-16 16:29:08 +02:00
d1e04e0374
Add a make.sh based on the make.bat
2016-05-15 21:34:02 +02:00
Aliya Pazylbekova