Merge ".gitignore for generated html doc"