From 626c580148a58d92515c04df607eaa06d86f15f9 Mon Sep 17 00:00:00 2001
From: Phil Pennock <pdpennock@users.sourceforge.net>
Date: Tue, 17 Dec 2013 12:43:17 -0500
Subject: [PATCH] 32143: Fix --enable-custom-patchlevel name in INSTALL

---
 ChangeLog | 4 ++++
 INSTALL   | 2 +-
 2 files changed, 5 insertions(+), 1 deletion(-)

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