The Jenkins Controller is preparing for shutdown. No new builds can be started.
Summary
- Add doxygen.all.zip and doxygen.public.zip Doxygen targets (details)
- Fix doc/HowToBuild.html: Remove target.* options (we use defaults) (details)
- Doxygen: Realign w/ orig 'javadoc' locations and archive name, to preserve doc-root (details)
- doc/GlueGen_Mapping.md: Add anchors for Doxygen (Mainpage); Use pandoc `markdown+lists_without_preceding_blankline` (details)
- doc/*.md: Fix comment of new source format `markdown+lists_without_preceding_blankline` (details)
- VersionSemanticsUtil: Ignore missing classes, report to stdout and use summary only (details)