0000.html: notes.html make.sh Makefile
	@./make.sh

clean:
	rm -f 0*.html