EXTRA_DIST = doc src
+
+# Strip the XML prologue from an Inkscape document to produce
+# something that can be included directly into an HTML5 document.
+day.svg: src/day.svg
+ @XMLLINT@ -xpath "/*" $< > $@
+
+# Base64-encode a woff2 (web open font format 2.0) file. We use this
+# to embed fonts directly into the CSS that requires them.
+tickettext.base64: src/tickettext.woff2
+ @BASE64@ -w0 $< > $@
+
+# Build index.html by substituting the contents of a few (single
+# line!) files into @PLACEHOLDERS@ within src/index.html.in. If you
+# put tildes in src/day.svg this will probably break, so please don't
+# do that.
+index.html: src/index.html.in day.svg tickettext.base64
+ sed -e "s~@TICKETFONT@~$$(cat tickettext.base64)~" \
+ -e "s~@SVGDATA@~$$(cat day.svg)~" \
+ $< > $@