These are only used by doxygen to speed up regeneration of existing
output after source changes, which isn't something that's going to
happen on a snapshot of installed documentation.