pokorra Upon request during the OpenPetra developers meeting, I have now added a build job ci.openpetra.org/job/OpenPetraDBDoc/ which runs every night. I have changed the link at dbdoc.openpetra.org so that it points to the updated files.
