summaryrefslogtreecommitdiff
path: root/tools/publish-doc
AgeCommit message (Expand)AuthorFilesLines
2017-06-13tools: update the publish-doc tool to use ninjaPeter Hutterer1-3/+7
2016-04-12tools: update the doc publish tool to take a subdirPeter Hutterer1-1/+8
2014-06-16tools: fix the publish-doc scriptPeter Hutterer1-2/+2
2014-06-10tools: add a script to push the doxygen output to freedesktop.orgPeter Hutterer1-0/+11