--- milena/doc/.gitignore | 4 ++-- 1 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/milena/doc/.gitignore b/milena/doc/.gitignore index 3c88ad7..6010cc6 100644 --- a/milena/doc/.gitignore +++ b/milena/doc/.gitignore @@ -8,14 +8,14 @@

/figures/*.png

-/ref-guide.hh +/ref-guide.dox /ref-guide.pdf /ref-guide/

/technical.pdf /technical/

-/tutorial.hh +/tutorial.dox /tutorial.pdf /tutorial/