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

[David]

Revision: demexp--dev--0.7--patch-20
Archive: address@hidden
Creator: David MENTRE <address@hidden>
Date: Fri Sep 23 15:42:10 CEST 2005
Standard-date: 2005-09-23 13:42:10 GMT
Renamed-files: web/.arch-ids/index.ml.nw.id web/.arch-ids/demexpweb.ml.nw.id
    web/.arch-ids/index.ui.nw.id web/.arch-ids/demexpweb.ui.nw.id
    web/index.ml.nw web/demexpweb.ml.nw
    web/index.ui.nw web/demexpweb.ui.nw
Modified-files: config/Makefile.inc doc/demexp-book.tex
    web/demexpweb.ml.nw web/demexpweb.ui.nw web/login.ui.nw
    web/voteWeb.ml.nw
New-patches: address@hidden/demexp--dev--0.7--patch-20
Summary: rename index.* CGI files into demexpweb.*
Keywords: web

* config/Makefile.inc
  doc/demexp-book.tex
  web/demexpweb.ml.nw
  web/demexpweb.ui.nw

  Rename web/index.* CGI files into web/demexpweb.* to avoid a too
  generic name.

  Compile web/demexpweb.cgi statically, to avoid dynamic libraries
  issues. Explicitely name the UI file when starting the CGI.

* web/login.ui.nw

  Minor doc cleanups.

* web/voteWeb.ml.nw

  Erase error message in case of cancel.