This repository contains some scripts that clones the Principia repository and generates Doxygen documentation if there has been a new commit. This is run in the Github CI at regular intervals and is then deployed with Github Pages to https://doxy.principia-web.se.