# To do: migrate to pdfroff once it stops prepending loads of blank pages?
# I should have written this using Plan 9 troff, like Russ Cox did "recover" or the IWP9 author guidelines

MKSHELL=$PLAN9/bin/rc
SRC=intro_tts.ms intro_krn.ms prevwork.ms model.ms cs.ms sys_arch.ms mod_guide.ms if_specs.ms impl.ms cookbook.ms conclusion.ms prototype.ms
SRCDEPS=Setup.pic mydefs.t refs
MISC=Questions.ms goals5.ms mkfile

all:V: thesis_book.pdf

thesis_book.pdf:D: refs.i $SRC $SRCDEPS
	lbl $SRC | groff -pteR -mspdf -Tps '-dpaper=a4' -P-pa4 | ps2pdf14 - > $target

#appx_c.pdf: prototype.ms
#	lbl prototype.ms | groff -pteR -mspdf -Tps '-dpaper=a4' -P-pa4 | ps2pdf14 - > $target

refs.i:QD: refs
	indxbib $prereq

Questions.pdf:D: Questions.ms
	lbl $prereq | groff -R -mspdf -Tps '-dpaper=a4' -P-pa4 | ps2pdf14 - > $target

pull:V:
	fcp $SRC $SRCDEPS $MISC $home/thesis

proof:V: refs.i $SRC $SRCDEPS
	lbl $SRC | groff -teR -ms -Tlatin1 | $PAGER

push:V:
	fcp $SRC $SRCDEPS $MISC $home/work/thesis