Perhaps we could also implement -d to toggle the rmdir behavior? OTOH, I always use -d with git clean so it might not be necessary
For me the main purpose would be cleaning stuff that intereferes with ocrd-make, so directories are a priority. But sure, why not put it in the hands of the user...
For me the main purpose would be cleaning stuff that intereferes with ocrd-make, so directories are a priority. But sure, why not put it in the hands of the user...