Cleaning tangle

tools/build_doc.sh

@@ -36,10 +36,17 @@ do
     exported=${i%.org}.exported
     exported=$(dirname $exported)/.$(basename $exported)
     NOW=$(date +"%m%d%H%M.%S")
-    extract_doc ${i} > $exported
+    extract_doc ${i} &> $exported
+    rc=$?
 
     # Make log file older than the exported files
     touch -t ${NOW} $exported
+
+    # Fail if tangling failed
+    if [[ $rc -ne 0 ]] ; then
+       cat $exported
+       exit rc
+    fi
 done
 
 

tools/tangle.sh

@@ -37,10 +37,11 @@ do
     NOW=$(date +"%m%d%H%M.%S")
     tangle ${i} &> $tangled 
     rc=$?
+    # Make log file older than the tangled files
+    touch -t ${NOW} $tangled
+    # Fail if tangling failed
     if [[ $rc -ne 0 ]] ; then
        cat $tangled
        exit rc
     fi
-    # Make log file older than the tangled files
-    touch -t ${NOW} $tangled
 done