diff --git a/README.md b/README.md index 3c49e4c4..8d3ddd31 100644 --- a/README.md +++ b/README.md @@ -131,6 +131,8 @@ The result is a JSON file containing feasible paths with their solutions, format } ``` +You can use `./clean.sh -f` to remove all files in the `output` folder. + ## Example To execute a program that takes no extra arguments or input, use the following command: diff --git a/clean.sh b/clean.sh index 18ff6471..8b22bf62 100755 --- a/clean.sh +++ b/clean.sh @@ -9,13 +9,14 @@ error() { usage() { cat >&2 <