1 files changed, 10 insertions, 10 deletions
diff --git a/configure.ac b/configure.ac
index 4d5d3781..4e77e955 100644
--- a/configure.ac
+++ b/configure.ac
@@ -521,16 +521,16 @@ docs/Makefile
 docs/reference/Makefile
 docs/tutorial/Makefile
 docs/lasso-book/Makefile
-python/Makefile
-python/doc/Makefile
-python/doc/tutorial/Makefile
-python/environs/Makefile
-python/examples/Makefile
-python/protocols/Makefile
-python/protocols/elements/Makefile
-python/tests/Makefile
-python/xml/Makefile
-php/Makefile
+python/Makefile]
+dnl [python/doc/Makefile
+dnl python/doc/tutorial/Makefile
+dnl python/environs/Makefile
+dnl python/examples/Makefile
+dnl python/protocols/Makefile
+dnl python/protocols/elements/Makefile
+dnl python/tests/Makefile
+dnl python/xml/Makefile]
+[php/Makefile
 php/run-tests.php
 php/environs/Makefile
 php/xml/Makefile