maint: update .gitignore files to ignore more generated files
authorJim Meyering <meyering@fb.com>
Tue, 25 Oct 2016 00:22:49 +0000 (17:22 -0700)
committerJim Meyering <meyering@fb.com>
Tue, 25 Oct 2016 00:23:01 +0000 (17:23 -0700)
commit3e1af5b7abc005ac8070f1f5b3b433afb9099793
tree8dfc38cd0466bdef5110452677dcd667b33a2b83
parent684cc5eb56437028da0171b53053f60ccda85f9f
maint: update .gitignore files to ignore more generated files
doc/.gitignore
lib/.gitignore