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)~" \
            $< > $@