1 files changed, 0 insertions, 1 deletions
diff --git a/configure b/configure
index 7eeead2..a246feb 100755
--- a/configure
+++ b/configure
@@ -7771,7 +7771,6 @@ fi
 CLEANFILES="${CLEANFILES} doc/*.dvi doc/*.aux doc/*.idx doc/*.ilg doc/*.ind"
 CLEANFILES="${CLEANFILES} doc/*.lof doc/*.log doc/*.out doc/*.toc doc/*.tpt"
 CLEANFILES="${CLEANFILES} doc/refman doc/refman.pdf"
-CLEANFILES="${CLEANFILES} Python/library/Zinc.py"