forgot to remove makefile

svn: r190
This commit is contained in:
Eli Barzilay 2005-06-16 00:35:53 +00:00
parent effceb9995
commit 43fb4494ae

View File

@ -1,12 +0,0 @@
all:
setup-plt -p -l mztake
setup-plt -l frtime
setup-plt -l stepper
plt:
mred -u make-plt.ss
mv *.plt ../../web/files/
clean:
${RM} -r compiled private/compiled
${RM} *distro*