História revízii

Autor SHA1 Správa Dátum
  Fu Hanxi d41c130b68 add some prefix for doc urls to make BOT recognize the preview doc url 5 rokov pred
  Marius Vikhammer 407275f681 doc: add latex and PDF generation to build_docs 6 rokov pred
  Angus Gratton 1a2ddcb77a docs: deploy docs to production server from CI 6 rokov pred