[darcs-users] [patch206] Create manual directory if it doesn't exist

Eric Kow kowey at darcs.net
Tue Apr 13 20:16:45 UTC 2010


On Tue, Apr 13, 2010 at 20:08:31 +0000, Reinier Lamers wrote:
> Tue Apr 13 17:55:18 CEST 2010  Matthias Kilian <kili at 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 at 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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: application/pgp-signature
Size: 195 bytes
Desc: not available
URL: <http://lists.osuosl.org/pipermail/darcs-users/attachments/20100413/a99d11e2/attachment.pgp>


More information about the darcs-users mailing list