[config.w32] Warn that propro was discontinued

[m6w6/ext-propro] / .gitignore

diff --git a/.gitignore b/.gitignore
index 82c850faef8ac5714daff8139332ae5cf44845d8..a11c9e4b6d65883c804f2f9cb46341b03fbe05d2 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -23,3 +23,5 @@
 run-tests.php
 .libs/
 /php_propro_api.h
+/Doxyfile.bak
+!/Makefile.frag