doc: Ignore generated documentation files.
commit29d360c825a50be376be18ea62132d8bd2c6d67c
authorBen Pfaff <blp@cs.stanford.edu>
Sat, 12 Aug 2017 17:48:10 +0000 (12 10:48 -0700)
committerBen Pfaff <blp@cs.stanford.edu>
Sat, 12 Aug 2017 17:49:19 +0000 (12 10:49 -0700)
tree62ab43384c951ac34037c4b0cb80dba1a85d3358
parent6e25b841981445baf5d62bbbe5bbfc69c33a4c29
doc: Ignore generated documentation files.
.gitignore
doc/.gitignore [new file with mode: 0644]