From 44d114c729b847d906d5dd3cf621839c2e660531 Mon Sep 17 00:00:00 2001
From: brutzman <brutzman@DESKTOP-2S09UKA>
Date: Mon, 21 Oct 2019 21:12:25 -0700
Subject: [PATCH] more precise cleaning of html pages
---
build.xml | 8 +++++---
1 file changed, 5 insertions(+), 3 deletions(-)
diff --git a/build.xml b/build.xml
index 28fb4fe90d..72210d47e3 100644
--- a/build.xml
+++ b/build.xml
@@ -586,12 +586,14 @@ Key references:
<delete failonerror="false" includeemptydirs="true" verbose="true">
<fileset dir=".">
<include name="**/*Index.html"/>
- <include name="**/index.html" excludes="javadoc/**/*"/>
+ <include name="**/index.html"/>
<include name="**/viewpointSlideshow.html"/>
<include name="**/_schematron/*"/>
<include name="**/_pages/*.html"/><!-- older versions -->
- <exclude name="**/javadoc/**/*"/>
- <exclude name="**/SoundEffects/**/*"/>
+ <exclude name="**/*javadoc/**/*"/>
+ <exclude name="SoundEffects/**/*"/>
+ <exclude name="services/**/*"/>
+ <exclude name="Installing*"/>
</fileset>
</delete>
<delete failonerror="false" includeemptydirs="true"><!-- older versions -->
--
GitLab