diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -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" |