[Demexp-cvs] arch commit: demexp--dev--0.7--patch-3

[David]

Revision: demexp--dev--0.7--patch-3
Archive: address@hidden
Creator: David MENTRE <address@hidden>
Date: Sun Aug 21 15:31:03 CEST 2005
Standard-date: 2005-08-21 13:31:03 GMT
Modified-files: README configure
New-patches: address@hidden/demexp--dev--0.7--patch-3
Summary: ./configure checks for wd-xmlcompiler
Keywords: build

* configure:

  - check for wd-xmlcompiler, used to make web/index.ui.bin;

  - new option --no-web.

* README:

  update it to document web target.