diff options
| author | sanmiguel <[email protected]> | 2017-02-05 20:07:26 +0100 |
|---|---|---|
| committer | sanmiguel <[email protected]> | 2017-02-05 20:07:26 +0100 |
| commit | d9ac889f32d1de4f8ba06e6ee5ccffd79fa86327 (patch) | |
| tree | 296abe10fdab6dbf5d1d90ef4c7c79be25ab170c /.gitignore | |
| parent | 35a9c701e0538e924aa04fdb0331080867898078 (diff) | |
| download | kerl-d9ac889f32d1de4f8ba06e6ee5ccffd79fa86327.tar.gz kerl-d9ac889f32d1de4f8ba06e6ee5ccffd79fa86327.tar.bz2 kerl-d9ac889f32d1de4f8ba06e6ee5ccffd79fa86327.zip | |
Fix handling of KERL_INSTALL_HTMLDOCS and KERL_PROMPT
We had no handling for KERL_INSTALL_HTMLDOCS being set in the shell
properly, as KERL_INSTALL_MANPAGES is handled
There was a typo in the use of KERL_PROMPT in CSH activate scripts
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions