From 90b807ed5c13a40f327293e5d9d47b0f3f821656 Mon Sep 17 00:00:00 2001 From: Anders Kaseorg Date: Fri, 22 Nov 2013 09:36:14 -0500 Subject: make clean: Clean bin/mlton, src/urweb.mlton.lex, src/urweb.mlton.grm Signed-off-by: Anders Kaseorg --- Makefile.am | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) --- Makefile.am | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile.am') 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 -- cgit v1.2.3