Commit graph

6 commits

Author SHA1 Message Date
Griatch
d7d94c462f Testing with a manual doc deploy 2022-01-25 23:34:28 +01:00
Griatch
7ece2fec17 Prep for mv-local build 2022-01-21 00:56:36 +01:00
Griatch
c6cba1cab6 More work on doc deployment 2022-01-21 00:47:11 +01:00
Griatch
8f6308db48 More testing with doc build 2022-01-21 00:35:50 +01:00
Griatch
f3e4bd7550 Correct doc-building make 2021-03-20 10:47:57 +01:00
Griatch
bb53ab931b Port github action suite to develop branch 2020-09-20 19:07:18 +02:00