--- a/Make.proto	Sat Nov 09 19:20:50 1996 +0100
+++ b/Make.proto	Mon Nov 11 15:04:25 1996 +0100
@@ -85,7 +85,7 @@
 	$(LIBWIDGDIR) $(LIBWIDG2DIR) $(LIBWIDG3DIR) $(LIBTOOLDIR) $(CLIENTDIR)/[A-Z]* \
 	$(LIBTABLEDIR) $(LIBUIDIR) $(LIBCOMPATDIR) $(LIBPRODIR) $(OTHERLIBDIRS)     \
 	$(TOP)/fileIn $(TOP)/libtomcat $(TOP)/goodies $(TOP)/goodies/*           \
-	$(TOP)/goodies/*/* $(TOP)/contrib/*
+	$(TOP)/goodies/*/* $(TOP)/contrib/* $(TOP)/doc/coding
 
 #
 # including your own private lib in the make process and executable: