diff --git a/.gitignore b/.gitignore index 9cfd32598..5c6dc182c 100644 --- a/.gitignore +++ b/.gitignore @@ -23,5 +23,4 @@ semantic.cache wiki/backups/* doc/devel/draw/*.png doc/devel/uml/fig128309.png -doc/devel/lumiera.tag m4/* diff --git a/doc/devel/.gitignore b/doc/devel/.gitignore index d6d649abd..b27fbaa02 100644 --- a/doc/devel/.gitignore +++ b/doc/devel/.gitignore @@ -1,3 +1,5 @@ ,doxylog warnings.txt +doxygen_sqlite3.db +lumiera.tag html/*