@@ -86,22 +86,30 @@ overridden through environment variables. The provided variables are:
8686
8787* `IDRIS_CC` Change the `C` compiler used by the `C` backend.
8888* `IDRIS_CFLAGS` Change the `C` flags passed to the `C` compiler.
89−* `TARGET` Change the target directory to generate files.
90−* `IDRIS_LIBRARY_PATH` Change the location of where installed packages are found.
91−
92−Alternativly, and perhaps a cleaner approach is to configure these
93−options using the CLI options. Idris also supports options to augment
94−the paths used, and pass options to the code generator backend.
95−
96−The option `--cg-opt <ARG>` can be used to pass options to the code
97−generator. The format of `<ARG>` is dependent on the selected backend.
98−
99−Further, Idris does support multiple include paths. The CLI option
100−`-i <dir>` allows you to add a directory to the library search path; this
101−option can be used multiple times. This is a cleaner option when you
102−wish to add single directories to the `IDRIS_LIBRARY_PATH` than
103−ammending `IDRIS_LIBRARY_PATH` directly.
104−To add directories to the source search path, use the `--sourcepath <dir>` option.
105−
106−Moreover, rather than using `TARGET` the CLI option `--ibcsubdir` can
107−be used to direct where built IBC files are placed.
89+* `TARGET` Change the target directory i.e. `data dir` where Idris installs files when installing using Cabal/Stack.
90+* `IDRIS_LIBRARY_PATH` Change the location of where installed packages are found/installed.
91+* `IDRIS_DOC_PATH` Change the location of where generated idrisdoc for packages are installed.
92+
93+.. note::
94+
95+ In versions of Idris prior to 0.12.3 the environment variables
96+ `IDRIS_LIBRARY_PATH` and `TARGET` were both used to affect the
97+ installation of single packages and direct where Idris installed
98+ its data. The meaning of these variables has changed, and command
99+ line options are preferred when changing where individual packages
100+ are installed.
101+
102+The CLI option `--ibcsubdir` can be used to direct where generated IBC
103+files are placed. However, this means Idris will install files in a
104+non-standard location separate from the rest of the installed
105+packages. The CLI option `--idrispath <dir>` allows you to add a
106+directory to the library search path; this option can be used multiple
107+times and can be shortened to `-i <dir>`. Similary, the `--sourcepath
108+<dir>` option can be used to add directories to the source search
109+path. There is no shortened version for this option as `-s` is a
110+reserved flag.
111+
112+Further, Idris also supports options to augment the paths used, and
113+pass options to the code generator backend. The option `--cg-opt
114+<ARG>` can be used to pass options to the code generator. The format
115+of `<ARG>` is dependent on the selected backend.