DWARF Git Projects
/
dwarf-doc.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
116c4e6
)
This shell script charfix.sh is good for the one-time
author
David Anderson
<davea42@earthlink.net>
Fri, 1 Feb 2013 00:08:50 +0000
(16:08 -0800)
committer
David Anderson
<davea42@earthlink.net>
Fri, 1 Feb 2013 00:08:50 +0000
(16:08 -0800)
removal of utf-8 characters.
Probably not useful again.
dwarf5/tools/charfix.sh
patch
|
blob
|
history
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