diff --git a/.gitignore b/.gitignore index 9bc3db47d..d7048d2f9 100644 --- a/.gitignore +++ b/.gitignore @@ -9,6 +9,7 @@ makefile !inform7/Tests/Test Makes/Eg*/makefile tags *.glkdata +*.exe resources/App HTML/ resources/Changes/Output/ diff --git a/scripts/inform.giscript b/scripts/inform.giscript index ad6aa5150..f75fda92e 100644 --- a/scripts/inform.giscript +++ b/scripts/inform.giscript @@ -15,6 +15,7 @@ makefile !inform7/Tests/Test Makes/Eg*/makefile tags *.glkdata +*.exe resources/App HTML/ resources/Changes/Output/