diff --git a/.gitignore b/.gitignore index 730731f295c86865edfdeb710d3f0776e24d7fc3..23c48be7f3d776400b3abe1ed527218742815492 100644 --- a/.gitignore +++ b/.gitignore @@ -16,6 +16,8 @@ # *all* Makefiles Makefile +# ... except in demos +!/demos/*/Makefile # Links under apps /apps/CA.pl