--- a/Make.proto	Thu May 09 00:15:28 1996 +0200
+++ b/Make.proto	Thu May 09 17:09:08 1996 +0200
@@ -264,6 +264,12 @@
 		    (cd include; $(LNS) ../$(INCLUDE)/symbols.stc .);   \
 		fi                                                      \
 	    fi
+	    @-if [ ! -r include/autoloadList.stc ]; then                     \
+		if [ -f $(INCLUDE)/autoloadList.stc ]; then                  \
+		    echo "linking autoloadList.stc ...";                     \
+		    (cd include; $(LNS) ../$(INCLUDE)/autoloadList.stc .);   \
+		fi                                                           \
+	    fi
 	    @-rm -f include/RCS include/CVS
 
 misc:       examples