Add shell.nix

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

diff --git a/.gitignore b/.gitignore
index 4c2f467e97ffd1525bf781e324ee5ab564f02259..edbc8381a70836a8fd9844efa05549c224cc45b6 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -13,3 +13,5 @@
 *.pdf
 *.html
 *.png
+*.mobi
+*.toc