Makefile
changeset 0 2f3551c872b8
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Makefile	Tue Mar 27 21:44:44 2012 -0700
@@ -0,0 +1,6 @@
+ANOLIS = anolis
+
+all: undomanager.html
+
+undomanager.html: source.html Makefile
+	$(ANOLIS) --output-encoding=ascii --omit-optional-tags --w3c-compat-xref-a-placement $< $@