diff --git a/makefile b/makefile
index 45d2ad50..ec72799f 100644
--- a/makefile
+++ b/makefile
@@ -230,6 +230,8 @@ revertbootstrap:
 
 # --- multi-machine multi-platform build management ---
 
+# NOTE: No longer used. Obsoleted by postpush.pl and buildall.pl.
+
 
 
 # coordinator: Start the test machine coordinator