diff options
| author | Dan Frumin <dfrumin@cs.ru.nl> | 2019-07-31 19:42:21 +0200 |
|---|---|---|
| committer | Dan Frumin <dfrumin@cs.ru.nl> | 2019-07-31 19:42:56 +0200 |
| commit | d0f192e9836864f8fa5d7bfbbfe9bd088e6e6152 (patch) | |
| tree | e61f048ef6a2b00221f2f911b1df5d30324702b4 /arduino-mk-vars.md | |
| parent | 0e462fcff173c0e6963f3b23ecb5fbb2e59737e7 (diff) | |
Rename `CTAGS_CMD` to `CTAGS_EXEC`.
The former is not actually tweakable.
Diffstat (limited to 'arduino-mk-vars.md')
| -rw-r--r-- | arduino-mk-vars.md | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/arduino-mk-vars.md b/arduino-mk-vars.md index 85fbd9f..2755ab5 100644 --- a/arduino-mk-vars.md +++ b/arduino-mk-vars.md @@ -1878,16 +1878,16 @@ CTAGS_OPTS = -V ---- -### CTAGS_CMD +### CTAGS_EXEC **Description:** -Location of `ctags` binary. Defaults to user path. +Path to the `ctags` binary. Defaults to user path. **Example:** ```Makefile -CTAGS_CMD = /usr/local/bin/ +CTAGS_EXEC = /usr/local/bin/ctags ``` **Requirement:** *Optional* |