add optional docs publishing

This commit is contained in:
2016-02-25 08:39:38 +01:00
parent 070385867e
commit f7304f59a5
4 changed files with 8 additions and 4 deletions

View File

@@ -2,5 +2,6 @@
support
compile
test/
docs/
examples
.gitignore