summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile.am2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am
index 5d17866a..cb944483 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -21,7 +21,7 @@ smlnj: src/urweb.cm xml/entities.sml
mlton: bin/urweb
clean-local:
- rm -f src/*.mlton.grm.* src/*.mlton.lex.* \
+ rm -f bin/urweb src/urweb.mlton.* \
src/urweb.cm src/urweb.mlb xml/parse xml/entities.sml
rm -rf .cm src/.cm