diff --git a/build.xml b/build.xml index 3fac5f5a699b480441c8296d08715bfe2cda2650..87fc981ad37594f64ecda001e0ae836bfa463bec 100644 --- a/build.xml +++ b/build.xml @@ -729,6 +729,7 @@ Key references: select="\3"/> <!-- <echo>delete ${relative.path1}/${relative.path2}/${name.short}.html</echo> --> <delete file="${relative.path1}/${relative.path2}/${name.short}.html"/> + <delete file="${relative.path1}/${relative.path2}/${name.short}.svg"/><!-- Extrusion crossSection diagram --> </sequential> </for> <echo message="consider clean.SVG if crossSection figures also need removal"/>