diff --git a/.gitignore b/.gitignore
index b01c2d5b95fd6c9e42c8758b7e782c268f7f4c93..b9086ccc24aa99bb763241e96f3ad0de5acde629 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1 @@
-cours.pdf
-cours.html
+intro.html