Reproducibly build documentation
The two commits fix reproducibility problems detected by the Debian CI:
https://reproducible.debian.net/rb-pkg/unstable/amd64/fdroidserver.html
The two commits fix reproducibility problems detected by the Debian CI:
https://reproducible.debian.net/rb-pkg/unstable/amd64/fdroidserver.html