path: root/doc/removeproofs

#!/bin/sh

for i in $*; do
  mv $i $i.bak
  sed -e '/<code class="keyword">Proof<\/code> *\./,/<code class="keyword">\(Qed\|Defined\)<\/code> *\./d' $i.bak > $i
  rm $i.bak
done