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