build docs locally

This commit is contained in:
Ciro Santilli
2018-12-03 00:08:47 +00:00
parent 8f4d2cf8a3
commit d996a9764f
11 changed files with 82 additions and 34 deletions

1
.gitignore vendored
View File

@@ -6,4 +6,5 @@
*.o
*.so
*.tmp
/README.html
tmp.S