files = index.php MakeDatabase.php makefile PageDatabase.php show.php \
	common.php random.php actions.js loadnew.php
pdfs = 94-117.pdf 9596-Topology.pdf 9697-Mechanics.pdf 99-Mechanics.pdf \
	0708-1300.pdf 0405-1300.pdf

all:	PageDatabase.php notebooks.zip $(pdfs);

PageDatabase.php:	MakeDatabase.php pages/*_*.jpg;
	php MakeDatabase.php

notebooks.zip:	$(files);
	rm notebooks.zip
	zip -q notebooks.zip $(files)

%.pdf:	pages/%_*.jpg;
	convert pages/$*_*.jpg $*.pdf