diff options
Diffstat (limited to 'doc/removeproofs')
| -rwxr-xr-x | doc/removeproofs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/removeproofs b/doc/removeproofs index 0ebe3a8..82809ba 100755 --- a/doc/removeproofs +++ b/doc/removeproofs @@ -2,7 +2,7 @@ for i in $*; do mv $i $i.bak - sed -e '/<code class="keyword">Proof<\/code>\./,/<code class="keyword">Qed<\/code>\./d' $i.bak > $i + sed -e '/<code class="keyword">Proof<\/code> *\./,/<code class="keyword">\(Qed\|Defined\)<\/code> *\./d' $i.bak > $i rm $i.bak done |