diff --git a/doc/.gitignore b/doc/.gitignore index 714238f3..ec979e5a 100644 --- a/doc/.gitignore +++ b/doc/.gitignore @@ -1 +1,3 @@ gh-pages +source/coverage_table.txt +