🧹 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 c10ddb1d26
commit ba27abab27

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

Loading…
Cancel
Save