diff --git a/.gitignore b/.gitignore index b55ce523a9e17c82b95a5ec702e972a6264207f0..adb2b11644ac8cf09a720dadec57fd56637d68f7 100644 --- a/.gitignore +++ b/.gitignore @@ -22,6 +22,9 @@ /notebooks/**/*.pdf /notebooks/**/*.tex +# These PDFs are for embedding in a notebook, they are not generated +!/notebooks/presentations/img/*.pdf + # Kodkod log files probkodkod.log probkodkod.log.lck