diff options
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index 0514f3c8..a4959d3a 100644 --- a/Makefile.in +++ b/Makefile.in @@ -792,7 +792,7 @@ xml/entities.sml: xml/parse xml/xhtml-lat1.ent xml/xhtml-special.ent xml/xhtml-s xml/parse >xml/entities.sml xml/parse: xml/parse.sml - $(MLTON) xml/parse.sml + $(MLTON) $(MLTONARGS) xml/parse.sml install-exec-emacs: @USE_EMACS_TRUE@ mkdir -p $(DESTDIR)$(SITELISP) |