Hi,

On Tue, Jul 10, 2007 at 02:33:22PM +0200, Stefano Zacchiroli wrote:

> If you choose to rename camlp4s executables and libraries however, users
> will be able to install both camlp4s and the official camlp4. Can you
> please consider this option?

Ok, I made a new release : 4.03.

You can change the name of all commands and libraries by using the
parameter "-name" of "configure" (default = camlp4).

For example:
     ./configure -name camlp5

would name the commands, files and manual pages: camlp5, camlp5o, camlp5r,
camlp5r.cma, camlp5.1 and so on, and the library would be installed in
a subdirectory camlp5 of the ocaml library directory.

Up to you to choose the name you prefer.

-- 
Daniel de Rauglaudre
http://pauillac.inria.fr/~ddr/