Next attempt: fix .gitignore for Unix and OSX. Sorry RDM!

diff --git a/.gitignore b/.gitignore
index ba9ee85428f6492c703f579432f698e43688010f..88094351ed793265bd84f2492a43edda7aa64ad6 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +1,7 @@
+# Two-trick pony for OSX and other case insensitive file systems:
+# Ignore ./python binary on Unix but still look into ./Python/ directory.
+/python
+!/Python/**
 *.cover
 *.o
 *.orig
@@ -58,7 +62,6 @@ libpython*.so*
 platform
 pybuilddir.txt
 pyconfig.h
-python
 python-config
 python-config.py
 python.exe