Add .gitignore

This commit is contained in:
Peter Dimov 2018-09-06 22:39:26 +03:00
parent 81df44e80b
commit 13c09e805b

3
doc/.gitignore vendored Normal file
View File

@ -0,0 +1,3 @@
/html/
/pdf/
ref_reference.xml