Make.proto
changeset 112 9c20e82bba52
parent 111 89eed459b879
child 113 960e2c43b18d
--- a/Make.proto	Thu May 09 17:09:08 1996 +0200
+++ b/Make.proto	Fri May 10 13:16:43 1996 +0200
@@ -207,6 +207,19 @@
 #
 collectAbbrev::
 	    @-rm -f abbrev.stc
+	    -@if [ -d include ]; then \
+	        if [ ! -f include/abbrev.stc ]; then \
+	            (cd include; $(LNS) $(TOP)/include/abbrev.stc . ); \
+		fi;							\
+	    fi
+
+collectAutoload::
+	    @-rm -f autoloadList.stc
+	    -@if [ -d include ]; then \
+	        if [ ! -f include/autoloadList.stc ]; then \
+	            (cd include; $(LNS) $(TOP)/include/autoloadList.stc . ); \
+		fi;								\
+	    fi
 
 classes::
 	    -mkdir classes