Clarify requirement for GNU make

diff --git a/Doc/Makefile b/Doc/Makefile
index 852bf50cdcae84b4206147e64933d1413bdaeafd..a17ad811b4d0419d8f69d50839d37d5543f01f0e 100644 (file)
--- a/Doc/Makefile
+++ b/Doc/Makefile
@@ -83,6 +83,8 @@ DVIPS=           dvips -N0 -t $(PAPER)
 # $(shell) function here to work around that restriction by
 # identifying mkhowto and the commontex/ directory using absolute paths.
 #
+# If your doc build fails immediately, you may need to switch to GNU make.
+# (e.g. OpenBSD needs package gmake installed; use gmake instead of make)
 PWD=$(shell pwd)
 
 # (The trailing colon in the value is needed; TeX places it's default