Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2021-12-02 | fix: avoid installing software that's already in the Docker image | Lars Wirzenius | 1 | -2/+0 |
2021-12-02 | chore: use the new pandoc container image to build the guide | Lars Wirzenius | 1 | -1/+1 |
2021-11-03 | doc: Fix documentation path to include "public" | Wiktor Kwapisiewicz | 1 | -3/+4 |
2021-11-03 | doc: Add rendering of documentation | Wiktor Kwapisiewicz | 1 | -0/+14 |