diff --git a/examples/Makefile.in b/examples/Makefile.in
index d01a69c1b29792f0d93be7187df53370bcf16fb4..f87ccca61127a1ea87e541c9ef851dd4b58f844f 100644
--- a/examples/Makefile.in
+++ b/examples/Makefile.in
@@ -66,6 +66,8 @@ Makefile: $(srcdir)/Makefile.in ../config.status
 install uninstall:
 	true
 
+# NOTE: I'd like to use $^, but that's a GNU extension. $? should be
+# more portable, equivalent for phony targets.
 distdir: $(DISTFILES)
 	cp $? $(distdir)