see if this helps the doc builds

diff --git a/Misc/build.sh b/Misc/build.sh
index 2a44ce1975a76699feacc2d80a01f99656b40b99..3774487b210fae5a2ba06e66fb4b071dedabfec8 100755 (executable)
--- a/Misc/build.sh
+++ b/Misc/build.sh
@@ -257,6 +257,7 @@ start=`current_time`
 # which will definitely fail with a conflict. 
 #CONFLICTED_FILE=commontex/boilerplate.tex
 #conflict_count=`grep -c "<<<" $CONFLICTED_FILE`
+make clean
 conflict_count=0
 if [ $conflict_count != 0 ]; then
     echo "Conflict detected in $CONFLICTED_FILE.  Doc build skipped." > ../build/$F