1 2 3 4 5 6 7 8 9 10
#!/bin/sh for i in $*; do mv $i $i.bak sed -e '/<span class="keyword">Proof<\/span> *\./,/<span class="keyword">\(Qed\|Defined\)<\/span> *\./d' \ -e "s/\"'do' X <- A ; B\" error_monad_scope/doXAB error_monad_scope/g" \ $i.bak > $i rm $i.bak done