summaryrefslogtreecommitdiff
path: root/Makefile.in
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2011-11-05 15:05:13 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2011-11-05 15:05:13 -0400
commit954936dd180e34b79baca71e43d55a204dda9594 (patch)
treebb624710b05d07871646fc5a93a9b7014d5874dd /Makefile.in
parent22d36c8605e1d006a379350e28a5f939f7082546 (diff)
Support the full set of XHTML character entities
Diffstat (limited to 'Makefile.in')
-rw-r--r--Makefile.in11
1 files changed, 9 insertions, 2 deletions
diff --git a/Makefile.in b/Makefile.in
index f8a7dfd9..c758310d 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -750,7 +750,7 @@ mlton: bin/urweb
clean-local:
rm -f src/*.mlton.grm.* src/*.mlton.lex.* \
- src/urweb.cm src/urweb.mlb
+ src/urweb.cm src/urweb.mlb xml/parse xml/entities.sml
rm -rf .cm src/.cm
src/urweb.cm: src/prefix.cm src/sources
@@ -782,11 +782,18 @@ src/urweb.mlton.grm.sig src/urweb.mlton.grm.sml: src/urweb.mlton.grm
# MLTON += -profile $(PROFILE)
#endif
-bin/urweb: src/compiler.mlb src/urweb.mlb src/*.sig src/*.sml \
+bin/urweb: xml/entities.sml \
+ src/compiler.mlb src/urweb.mlb src/*.sig src/*.sml \
src/urweb.mlton.lex.sml \
src/urweb.mlton.grm.sig src/urweb.mlton.grm.sml
$(MLTON) -output $@ src/compiler.mlb
+xml/entities.sml: xml/parse xml/xhtml-lat1.ent xml/xhtml-special.ent xml/xhtml-symbol.ent
+ xml/parse >xml/entities.sml
+
+xml/parse: xml/parse.sml
+ $(MLTON) xml/parse.sml
+
install-exec-emacs:
@USE_EMACS_TRUE@ mkdir -p $(DESTDIR)$(SITELISP)
@USE_EMACS_TRUE@ cp src/elisp/*.el $(DESTDIR)$(SITELISP)/