From fc2ddebdae087dbdd4b0db7654696e1a0e53ebc3 Mon Sep 17 00:00:00 2001
From: Paul Smith <psmith@gnu.org>
Date: Sat, 19 Mar 2016 17:25:21 -0400
Subject: [PATCH] * doc/make.texi (Setting Variables): Fix typo (add comma).

---
 doc/make.texi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/make.texi b/doc/make.texi
index bcfe6a34..afce1c54 100644
--- a/doc/make.texi
+++ b/doc/make.texi
@@ -5614,7 +5614,7 @@ Several variables have constant initial values.
 @cindex !=
 
 To set a variable from the makefile, write a line starting with the
-variable name followed by @samp{=} @samp{:=}, or @samp{::=}.  Whatever
+variable name followed by @samp{=}, @samp{:=}, or @samp{::=}.  Whatever
 follows the @samp{=}, @samp{:=}, or @samp{::=} on the line becomes the
 value.  For example,