diff options
-rw-r--r-- | Makefile.am | 2 |
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 |