1include Makefile 2bin/mosml/Makefile.src: 3 mkdir -p `dirname $@` 4 echo > $@ 5refresh_FILES: 6 echo $(POLYML_SRC) | \ 7 sed "s/src\/PortablePolyml/PortableIsabelle/g" | \ 8 sed "s/ src\/Tptp\.s[a-z][a-z]//g" | \ 9 sed "s/ src\/Options\.s[a-z][a-z]//g" \ 10 > FILES 11