### 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 = src/darcs.tex $(wildcard 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 >$@ doc/manual/patch-theory.tex: $(TEXSOURCES) $(UNIT_FILES) $(DARCS) mkdir -p doc/manual $(PREPROC) Darcs/Patch/Properties.lhs >$@ %.pdf: %.tex cd $(