On Tue, Apr 13, 2010 at 20:08:31 +0000, Reinier Lamers wrote: > Tue Apr 13 17:55:18 CEST 2010 Matthias Kilian <[email protected]> > * Create manual directory if it doesn't exist
Looks good. This will go in shortly. Create manual directory if it doesn't exist ------------------------------------------- > Matthias Kilian <[email protected]>**20100413155518 > Ignore-this: d04fb2f93c3ca2f2063de65d37cb845c > ] hunk ./GNUmakefile 11 > 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) > hunk ./GNUmakefile 14 > + mkdir -p doc/manual > $(PREPROC) darcs.tex >$@ > doc/manual/patch-theory.tex: $(TEXSOURCES) $(UNIT_FILES) $(DARCS) > hunk ./GNUmakefile 17 > + mkdir -p doc/manual > $(PREPROC) Darcs/Patch/Properties.lhs >$@ -- Eric Kow <http://www.nltg.brighton.ac.uk/home/Eric.Kow> PGP Key ID: 08AC04F9
pgpBtXCP7DSId.pgp
Description: PGP signature
_______________________________________________ darcs-users mailing list [email protected] http://lists.osuosl.org/mailman/listinfo/darcs-users
