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

diff --git a/milena/doc/.gitignore b/milena/doc/.gitignore index c0b9abd..3f4a603 100644 --- a/milena/doc/.gitignore +++ b/milena/doc/.gitignore @@ -11,6 +11,11 @@ /ref_guide/ref_guide.html /ref_guide/ref_guide.htoc /ref_guide/ref_guide.pdf +/technical/technical.haux +/technical/technical.hh +/technical/technical.hh-e +/technical/technical.html +/technical/technical.pdf /tutorial/tutorial.haux /tutorial/tutorial.hh /tutorial/tutorial.hh-e