Fix update source file script

geodynamics · Aug 8, 2018 · 330566e · 330566e
1 parent 016765e
commit 330566e
Showing 1 changed file with 2 additions and 5 deletions.
diff --git a/doc/update_source_files.sh b/doc/update_source_files.sh
@@ -31,10 +31,7 @@ done
 
 for script in `ls ${SCRIPT_FOLDER}/*.pl`; do
   for file in $@ ; do
-    cat "$file.bak" | perl $script > "$file"
+    cat "$file" | perl $script > "$file.tmp"
+    mv "$file.tmp" "$file"
   done
 done
-
-for source_file in "$@"; do
-  rm ${source_file}.tmp
-done