Commit Verlauf

Autor SHA1 Nachricht Datum
  Pedro Algarvio 8f88056025 Fix github actions to pass unquoted paths vor 4 Jahren
  Pedro Algarvio 4242369f00 Store generated documentation as build artifacts vor 4 Jahren
  Pedro Algarvio 58f9b5e6f4 Always build man pages on push events vor 4 Jahren
  Pedro Algarvio 9c978fdccc Allow running the docs jenkins job in GH Actions vor 4 Jahren