# Makefile

all:
	$(MAKE) clean
	$(MAKE) -C src
	mv src/*.pdf .
# ps2pdf breaks ToC and other internal links
#	ps2pdf AIDoc.pdf AIDoc-web.pdf

cover:
	$(MAKE) -C src cover
	mv src/Cover.pdf .

test:
	$(MAKE) clean
	$(MAKE) -C src test

clean:
	rm -f *.pdf
	$(MAKE) clean -C src