[Pkg-ocaml-maint-commits] [SCM] dh-ocaml packaging branch, master, updated. debian/0.4.1-38-g26e468a

[Sylvain Le Gall]

The following commit has been merged in the master branch:
commit 814bd4bdd433bc27664e658940fcb4bcaa6e8aff
Author: Sylvain Le Gall <gildor at debian.org>
Date:   Sat Jul 18 00:55:49 2009 +0200

    Avoid installing dom-switch-opt
    
    This script is not policy compliant and quite dangerous. It will be only
    distributed through source version of dh-ocaml package.

diff --git a/tools/dom-switch-opt b/tools-noinstall/dom-switch-opt
similarity index 100%
rename from tools/dom-switch-opt
rename to tools-noinstall/dom-switch-opt

-- 
dh-ocaml packaging