Ignore *.html files in src/main/resources/Documentation

Thereby it gets easier to develop documentation as we can now run
asciidoc without ending up in a dirty tree.

Change-Id: I4a1abaf76fa66382b26156cf2a180151b1ac840f
1 file changed
tree: 39ad827a47e5222bd6f03837e97dce0dad192337
  1. .gitignore
  2. LICENSE
  3. pom.xml
  4. src/