Update the CI infrastructure to be faster, and to build the man and HTML.

This commit is contained in:
Jason S. Ninneman 2017-06-01 14:56:44 -07:00
parent 40ccd3d80d
commit 8b4fa2895c
3 changed files with 41 additions and 9 deletions

3
.gitignore vendored
View file

@ -3,4 +3,5 @@ advent
compile
database.h
database.c
advent.6
advent.html