2023-07-18 12:28:06 -06:00
|
|
|
# Makefile
|
|
|
|
|
|
|
|
all:
|
|
|
|
$(MAKE) clean
|
|
|
|
$(MAKE) -C src
|
|
|
|
mv src/*.pdf .
|
|
|
|
# ps2pdf breaks ToC and other internal links
|
2023-07-18 12:32:02 -06:00
|
|
|
# ps2pdf AIDoc.pdf AIDoc-web.pdf
|
2023-07-18 12:28:06 -06:00
|
|
|
|
|
|
|
cover:
|
|
|
|
$(MAKE) -C src cover
|
|
|
|
mv src/Cover.pdf .
|
|
|
|
|
2023-10-17 12:38:13 -06:00
|
|
|
test:
|
|
|
|
$(MAKE) clean
|
|
|
|
$(MAKE) -C src test
|
|
|
|
|
2023-07-18 12:28:06 -06:00
|
|
|
clean:
|
|
|
|
rm -f *.pdf
|
|
|
|
$(MAKE) clean -C src
|
|
|
|
|