🧹 examples/fix-ocr-d-gt-page.sh: rmdir after ocrd workspace remove-group is not necessary anymore

pull/10/head
Gerber, Mike 4 years ago
parent 5c09883c82
commit c10ddb1d26

@ -11,4 +11,3 @@ for f in "$tmp_fg"/*; do
done
ocrd workspace remove-group -rf $tmp_fg
rmdir $tmp_fg

Loading…
Cancel
Save