From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: weis Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id SAA11543 for caml-redistribution; Tue, 16 Mar 1999 18:28:15 +0100 (MET) Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id SAA16286 for ; Tue, 16 Mar 1999 18:21:59 +0100 (MET) Received: from ns.euro.ge.com (ns.euro.ge.com [204.90.182.10]) by nez-perce.inria.fr (8.8.7/8.8.7) with ESMTP id SAA05125 for ; Tue, 16 Mar 1999 18:21:56 +0100 (MET) Received: from smtp.euro.ge.com (smtp.euro.ge.com [205.173.90.6]) by ns.euro.ge.com (8.9.2/8.9.2) with ESMTP id RAA12873 for ; Tue, 16 Mar 1999 17:22:13 GMT Received: from thomas.ge.com (thomas.ge.com [3.47.28.21]) by smtp.euro.ge.com (8.9.2/8.9.2) with ESMTP id RAA12833 for ; Tue, 16 Mar 1999 17:21:34 GMT Received: from gemed.med.ge.com (gemed.med.ge.com [3.7.12.4]) by thomas.ge.com (8.9.3/8.9.3) with SMTP id MAA20264 for ; Tue, 16 Mar 1999 12:21:28 -0500 (EST) Received: from mrs.med.ge.com by gemed.med.ge.com (SMI-8.6/SMI-SVR4) id LAA08377; Tue, 16 Mar 1999 11:23:13 -0600 Received: from swag.med.ge.com by mrs.med.ge.com (SMI-8.6/SMI-SVR4) id JAA05562; Tue, 16 Mar 1999 09:21:35 -0800 Received: by swag.med.ge.com (SMI-8.6/SMI-SVR4) id JAA00859; Tue, 16 Mar 1999 09:24:36 -0800 Date: Tue, 16 Mar 1999 09:24:36 -0800 From: gurr@mrs.med.ge.com (David Gurr) Message-Id: <199903161724.JAA00859@swag.med.ge.com> To: caml-list@inria.fr Subject: config info X-Sun-Charset: US-ASCII Sender: weis Hi, The installation of ocaml based applications might be simplified if the standard "make install" copied the config lib and the config/Makefile to the library location. Or if this is messy, how about a "make install-devel" that does the copying? Thanks for considering this detail. -David Gurr PS Any suggestions for algorithms for tree (rather than line) oriented diff/patch/merge?