ajout gitignore et makefile

2022-11-02 11:58:55 +01:00
parent a7d7bc2d2e
commit e845cb9559
2 changed files with 34 additions and 0 deletions
--- a/.gitignore
+++ b/.gitignore
@@ -0,0 +1,9 @@
+output/
+*.aux
+*.log
+*.nav
+*.out
+*.pdf
+*.snm
+*.synctex.gz
+*.toc