Remove generated HTML documentation, add it to gitignore
parent
9a8fb49fe4
commit
14e373d3f1
|
@ -10,3 +10,5 @@ configure
|
|||
install-sh
|
||||
missing
|
||||
doc/*.xml
|
||||
*~
|
||||
doc/html*
|
||||
|
|
File diff suppressed because one or more lines are too long
Loading…
Reference in New Issue