joerg b1b98bb087 Avoid rebuilding everything for doxygen, just the docs are fine. Don't ... keep an insanely long hand-maintained list of Python files, go with wildcards. Simplify various build commands.		2020-05-19 13:58:24 +00:00
..
check-PLIST-overwrap