diff options
Diffstat (limited to 'docs/tomo.1.md')
| -rw-r--r-- | docs/tomo.1.md | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/docs/tomo.1.md b/docs/tomo.1.md index 29d9414f..c77e91cf 100644 --- a/docs/tomo.1.md +++ b/docs/tomo.1.md @@ -53,9 +53,6 @@ C code, which is then compiled using a C compiler of your choice. `-C` *<program>*, `--show-codegen` *<program>* : Set a program (e.g. `cat` or `bat`) to display the generated code -`--c-compiler` -: Set which C compiler is used. - `-O` **level**, `--optimization` **level** : Set the optimization level. @@ -67,10 +64,3 @@ C code, which is then compiled using a C compiler of your choice. `-r`, `--run` : Run an installed tomo program from `~/.local/share/tomo/installed`. - -## ENVIRONMENT VARIABLES - -Some options can be configured by setting environment variables. - -`CC=`*c-compiler* -: Set which C compiler is used. |