summaryrefslogtreecommitdiff
path: root/utils/makefile.sphinx
AgeCommit message (Expand)Author
2019-12-22makefile.sphinx: fix gh-pages / pull before add commitsMarkus Heiser
2019-12-13Makefile: gh-pages: keep history of gh-branch intact (don't drop)Markus Heiser
2019-12-12utils: add makefile.sphinx to the boilerplateMarkus Heiser