see if this helps the doc builds
diff --git a/Misc/build.sh b/Misc/build.sh
index 2a44ce1..3774487 100755
--- a/Misc/build.sh
+++ b/Misc/build.sh
@@ -257,6 +257,7 @@
 # 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