diff --git a/doc/.gitignore b/doc/.gitignore index dc361bb..b4bbda9 100644 --- a/doc/.gitignore +++ b/doc/.gitignore @@ -10,3 +10,5 @@ *.idx *.ilg *.ind +*.nav +*.snm \ No newline at end of file