doc/bst2html.py, doc/Makefile: Added --force option
If --force is not specified, then we'll skip session files in the case that all of the outputs exist. Now setting BST_FORCE_SESSION_REBUILD when building the docs will cause the session files to be rebuilt regardless of whether they exist or not. The .gitlab-ci.yml was also changed to use this and force rebuilds.
Showing with 66 additions and 14 deletions