Print this page
3882 remove xmod & friends

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