Print this page
3882 remove xmod & friends

@@ -85,15 +85,5 @@
 clean:
 
 clobber:        clean
 
 modlist:
-
-EXPORT_SRC:
-        $(RM) Makefile+ 
-        sed -e "/^# EXPORT DELETE START/,/^# EXPORT DELETE END/d" \
-                < Makefile > Makefile+
-        $(MV) Makefile+ Makefile
-        $(CHMOD) 444 Makefile
-# EXPORT DELETE END
-
-#