The following commit has been merged in the master branch:
commit 5884eca9b3a5ca2db7cb37c0e92c3dec1e7c3214
Author: Lucas Nussbaum <lu...@debian.org>
Date:   Tue Feb 12 19:54:03 2013 +0100

    File no longer needed

diff --git a/debian/generate_mli.sh b/debian/generate_mli.sh
deleted file mode 100755
index 498660e..0000000
--- a/debian/generate_mli.sh
+++ /dev/null
@@ -1,28 +0,0 @@
-#!/bin/sh
-
-# Script provide with libocamlbricks-ocaml-dev packages
-# utility: create *.mli files from sources in $TARGET directory. 
-# where $TARGET is the first argument pass to the script
-
-# directory to add in command line
-OCAML_PATH=$(ocamlc -where)
-# where we put *.mli files 
-TARGET=$1
-# to exclude a sources file word or regexp
-EXCLUDE="stupid"
-
-# if not exist create $TARGET directory 
-mkdir -p $TARGET
-
-# for all *.ml files found in sources directory 
-for i in $(find ./[A-Z]*  -name \*.ml |grep -v $EXCLUDE |grep -v -e "/m[e,y]" 
);
-do 
-       # create the *.mli corresponding  
-       ocamlc -I debian/tmp/$OCAML_PATH/ocamlbricks/ -I $OCAML_PATH/  -I 
$OCAML_PATH/lablgtk2/ \
-                -i $i > $TARGET/$(basename $i |sed s/'$'/'i'/g) 2> /dev/null
-       done
-
-# Not possible to build this .mli 
-rm -f $TARGET/modelExtra.mli 2> /dev/null
-
-exit 0

-- 
ocamlbricks packaging

_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to