[darcs-users] darcs patch: Fix "make website" (missing build dependency).

Eric Kow kowey at darcs.net
Fri Sep 11 08:48:52 UTC 2009


On Fri, Sep 11, 2009 at 01:39:41 -0700, Trent W. Buck wrote:
> I noticed the manual on darcs.net wasn't keeping up to date with
> changes to the docstring documentation.  This additional dependency of
> the (generated, unified) .tex targets on dist/build/darcs/darcs fixes
> the (immediate?) issue.

Thanks for picking up on this.

Fix "make website" (missing build dependency).
----------------------------------------------
>  TEXSOURCES = src/darcs.tex $(wildcard src/*.tex) $(filter %.lhs,$(DARCS_FILES))

Maybe we depend on

DARCS_FILES = $(wildcard src/[A-Z]*.hs src/*/[A-Z]*.hs src/*/*/[A-Z]*.hs) \
              $(wildcard src/[A-Z]*.lhs src/*/[A-Z]*.lhs src/*/*/[A-Z]*.lhs)

in addition to TEXSOURCES since the problem (as you've identified it) is that
preproc picks up stuff in the .hs files.

> - -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 >$@
> +doc/manual/darcs.tex: dist/build/darcs/darcs $(TEXSOURCES)
> +	$< --preprocess-manual darcs.tex $(PREPROCHTML) >$@
> +doc/manual/darcs_print.tex: dist/build/darcs/darcs $(TEXSOURCES)
> +	$< --preprocess-manual darcs.tex >$@
> +doc/manual/patch-theory.tex: dist/build/darcs/darcs $(TEXSOURCES) $(UNIT_FILES)
> +	$< --preprocess-manual Darcs/Patch/Properties.lhs >$@

On IRC you've identified this (depending on the Cabal built darcs) as a bodge
rather than a proper fix.

Let me know if you want me to just apply this and be done with it.

-- 
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: 197 bytes
Desc: Digital signature
URL: <http://lists.osuosl.org/pipermail/darcs-users/attachments/20090911/1d05d3fb/attachment.pgp>


More information about the darcs-users mailing list