all: index

index:
	bin/makemainindex > index.html