git.haldean.org ubik / 2ca5e77 res / site / GNUmakefile
2ca5e77

Tree @2ca5e77 (Download .tar.gz)

GNUmakefile @2ca5e77raw · history · blame

# Builds website materials. Requires:
#	python
#	svgwrite python module (pip install svgwrite)
#   imagemagick

docpages = \
   adt-inst.html \
   compilation-phases.html \
   literate.html \
   multimethods.html \
   packaging.html \
   patterns.html \
   ports.html \
   recursion.html \
   runtime.html \
   syntax-2.html \
   type-decls.html \
   type-infer.html

all: index.html $(docpages)

index.html: skel-start.html skel-end.html $(docpages)
	./makeindex $(docpages) > $@

$(docpages): %.html: ../../docs/%.txt
	./tohtml $< > $@

clean:
	rm index.html $(docpages) logo.svg favicon.svg favicon.png

.PHONY: clean