From 9d581b1d5e506163f797950ba07db63192400ae4 Mon Sep 17 00:00:00 2001 From: "John J. Camilleri" Date: Fri, 10 Aug 2018 08:31:02 +0200 Subject: [PATCH] Fix note in README about default command --- README.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index acca5ba7d..4cd0b2449 100644 --- a/README.md +++ b/README.md @@ -79,11 +79,12 @@ clean - `CMDS` is one or more of: `prelude`, -`all` (default), +`all`, `lang`, `api`, `compat`, or an explicit module name (e.g. `ExtraEng.gf`. You don't need to specify to language subdirectory, but there is a restriction that the module must exist in a **direct** subdirectory of `src`). +If ommitted, the default command is `prelude all`. - `MODE` is one of: `present`, `alltenses`