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. src/
  2. .gitignore
  3. LICENSE
  4. pom.xml