diff --git a/doc/slicing/design-fr/.gitignore b/doc/slicing/design-fr/.gitignore index 1c8ae1c9863bb996bff694ae937acf6f9330ef2c..79c73e1bf2c9935341dde60db4efaa2855c7df3f 100644 --- a/doc/slicing/design-fr/.gitignore +++ b/doc/slicing/design-fr/.gitignore @@ -1,13 +1,18 @@ -anr-logo.png -biblio.bib -eu-flag.jpg -frama-c-book.cls -main.pdf -call.pdf -choose_call.pdf -exple2.pdf -propagation.pdf -propagation.pdf -fc-macros.tex -logos -frama-c-guy.png +/anr-logo.png +/biblio.bib +/eu-flag.jpg +/frama-c-book.cls +/main.pdf +/call.pdf +/choose_call.pdf +/exple2.pdf +/propagation.pdf +/fc-macros.tex +/logos +/frama-c-guy.png +/main.aux +/main.bbl +/main.blg +/main.log +/main.out +/main.toc