1
0
forked from GitHub/gf-rgl

Fix note in README about default command

This commit is contained in:
John J. Camilleri
2018-08-10 08:31:02 +02:00
parent f0566a48dd
commit 9d581b1d5e

View File

@@ -79,11 +79,12 @@ clean
- `CMDS` is one or more of: - `CMDS` is one or more of:
`prelude`, `prelude`,
`all` (default), `all`,
`lang`, `lang`,
`api`, `api`,
`compat`, `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`). 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: - `MODE` is one of:
`present`, `present`,
`alltenses` `alltenses`