DOC: make: fix EXTRA_MAKE fragment filename

The EXTRA_MAKE hook includes Makefile.mk, but its documentation comment
still names Makefile.inc. Correct the comment to match the existing
include. This changes no build behavior.

diff --git a/Makefile b/Makefile
index 3904277db382e1ec19bca754f80b448ad348788e..d8ec26a8364f5c17b3d25c0fa2ea24d34e5ad011 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -96,7 +96,7 @@
 #   SILENT_DEFINE may be used to specify other defines which will not be
 #     reported by "haproxy -vv".
 #   EXTRA   is used to force building or not building some extra tools.
-#   EXTRA_MAKE space-separated list of external addons using a Makefile.inc
+#   EXTRA_MAKE space-separated list of external addons using a Makefile.mk
 #   DESTDIR is not set by default and is used for installation only.
 #           It might be useful to set DESTDIR if you want to install haproxy
 #           in a sandbox.