On Tue, Apr 13, 2010 at 20:08:31 +0000, Reinier Lamers wrote:
> Tue Apr 13 17:55:18 CEST 2010 Matthias Kilian <kili@outback.escape.de>
> * 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 <kili@outback.escape.de>**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
|