[Demexp-cvs] arch commit: demexp--cduce--0.3--patch-29

[David]

Revision: demexp--cduce--0.3--patch-29
Archive: address@hidden
Creator: David MENTRE <address@hidden>
Date: Wed Feb 16 18:17:13 CET 2005
Standard-date: 2005-02-16 17:17:13 GMT
New-files: lib/.arch-ids/=id
New-directories: lib lib/.arch-ids
Renamed-files: srv/.arch-ids/norm.ml.nw.id lib/.arch-ids/norm.ml.nw.id
    srv/norm.ml.nw lib/norm.ml.nw
Modified-files: Makefile
    lablgtk2-clnt/demexp-lablgtk2-client-book.tex
    srv/demexp-server-book.tex
New-patches: address@hidden/demexp--cduce--0.3--patch-29
Summary: new lib/ directory for common code between client and server
Keywords: client, server

* srv/norm.ml.nw moved in lib/norm.ml.nw

* Makefile: take into account directory change for Norm module.

*  srv/demexp-server-book.tex
*  lablgtk2-clnt/demexp-lablgtk2-client-book.tex: take into account
*  directory change for generated file norm.ml.tex.