Closed podhrmic closed 3 years ago
In GitLab by @podhrmic on Sep 14, 2020, 16:02
@EthanJamesLeware the docs up to date now? And if so, how do you build the PDF out of them?
In GitLab by @EthanJamesLewon Sep 17, 2020, 12:19
mentioned in merge request !37
In GitLab by @podhrmic on Sep 17, 2020, 17:04
mentioned in commit 4c005729635c815800bdace7190110f77e4e736a
In GitLab by @podhrmic on Aug 10, 2020, 13:21
It would be good to have the generated PDF as a part of the repo. Building the docs should also be a part of the CI, so it is easy to spot when it is broken.