diff options
author | Anders Kaseorg <andersk@mit.edu> | 2013-11-22 09:36:14 -0500 |
---|---|---|
committer | Anders Kaseorg <andersk@mit.edu> | 2013-11-22 09:36:14 -0500 |
commit | 20e20f3c9c27abfbd754b2a6d5a1a1491cb3b893 (patch) | |
tree | 6698b5b8e32a1117388f821cc8fdeb69d3a0af30 | |
parent | 94b493bfed3db8eb9110fddb312b5e953eed45f4 (diff) |
make clean: Clean bin/mlton, src/urweb.mlton.lex,
src/urweb.mlton.grm
Signed-off-by: Anders Kaseorg <andersk@mit.edu>
---
Makefile.am | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
-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 |