### XXX we eventually want building of the manual to be part of Setup.lhs # hardcode some bits RUBBER=rubber DARCS = dist/build/darcs/darcs PREPROC=./dist/build/darcs/darcs --preprocess-manual PREPROCHTML=--html TEXSOURCES = doc/src/darcs.tex $(wildcard doc/src/*.tex) $(filter %.lhs,$(DARCS_FILES)) doc/manual/darcs.tex: $(TEXSOURCES) $(DARCS) mkdir -p doc/manual $(PREPROC) darcs.tex $(PREPROCHTML) >$@ doc/manual/darcs_print.tex: $(TEXSOURCES) $(DARCS) mkdir -p doc/manual $(PREPROC) darcs.tex >$@ %.pdf: %.tex cd $(