[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