diff options
| -rw-r--r-- | ChangeLog | 4 | ||||
| -rw-r--r-- | INSTALL | 2 |
2 files changed, 5 insertions, 1 deletions
diff --git a/ChangeLog b/ChangeLog index 789d31f04..02f34097e 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,7 @@ +2013-12-17 Phil Pennock <pdpennock@users.sourceforge.net> + + * 32143: INSTALL: Fix --enable-custom-patchlevel name in INSTALL + 2013-12-16 Barton E. Schaefer <schaefer@zsh.org> * Jun Takimoto: 32137: Test/comptest: set pseudo-terminal speed to diff --git a/INSTALL b/INSTALL index 00791cd86..99895bd6c 100644 --- a/INSTALL +++ b/INSTALL @@ -297,7 +297,7 @@ Modified versions of zsh If you are making local modifications to zsh, you are strongly advised to configure with the option - --enable-local-patchlevel="<my-mod-string>" + --enable-custom-patchlevel="<my-mod-string>" so that the variable $ZSH_PATCHLEVEL indicates this is not a standard version of the shell. The argument is arbitrary, but should indicate |