This shell script charfix.sh is good for the one-time

removal of utf-8 characters.
Probably not useful again.

diff --git a/dwarf5/tools/charfix.sh b/dwarf5/tools/charfix.sh
index 6b88ee2..ae5292f 100644 (file)
--- a/dwarf5/tools/charfix.sh
+++ b/dwarf5/tools/charfix.sh
@@ -3,10 +3,9 @@ m() {
     python charfix.py  ../latexdoc/$1
     mv ../latexdoc/$1.out ../latexdoc/$1
 }
-#m attributesbytag.tex        
-#m foreword4.1.tex 
+m attributesbytag.tex         
+m foreword4.1.tex 
 m compression.tex                     
-exit 0
 m foreword.tex 
 m copyright.tex                       
 m generaldescription.tex dataobject.tex