Add shell.nix

[perso/Denise/aventuriers.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index 3f580e5dd06dad658beea46db7239736816971d6..edbc8381a70836a8fd9844efa05549c224cc45b6 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -10,3 +10,8 @@
 *.lg
 *.out
 *.xref
+*.pdf
+*.html
+*.png
+*.mobi
+*.toc