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