Make documentation builds reproducible

When Who What
2024-01-22 10:19:43 Peter Eisentraut (petere) Closed in commitfest 2024-01 with status: Committed
2024-01-22 10:19:43 Peter Eisentraut (petere) Changed committer to petere
2023-12-01 08:04:01 Peter Eisentraut (petere) Closed in commitfest 2023-11 with status: Moved to next CF
2023-10-02 09:44:50 Peter Eisentraut (petere) Closed in commitfest 2023-09 with status: Moved to next CF
2023-08-30 07:23:00 Peter Eisentraut (petere) Changed authors to Peter Eisentraut (petere)
2023-08-30 07:22:51 Peter Eisentraut (petere) Attached mail thread 9077b779-a9f8-09c8-6e85-da1ebfba15af@eisentraut.org
2023-08-30 07:22:51 Peter Eisentraut (petere) Created patch record