diff options
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index fed3570b0..1e25373d7 100644 --- a/.gitignore +++ b/.gitignore @@ -49,6 +49,7 @@ demos/index-numbers.html demos/resourcegrammars.html demos/translation.html doc/tutorial/gf-tutorial.html +doc/index.html doc/gf-bibliography.html doc/gf-developers.html doc/gf-editor-modes.html |