diff options
Diffstat (limited to 'ocamldoc/remove_DEBUG')
| -rwxr-xr-x | ocamldoc/remove_DEBUG | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/ocamldoc/remove_DEBUG b/ocamldoc/remove_DEBUG deleted file mode 100755 index bca6ba049..000000000 --- a/ocamldoc/remove_DEBUG +++ /dev/null @@ -1,20 +0,0 @@ -#!/bin/sh - -#(***********************************************************************) -#(* OCamldoc *) -#(* *) -#(* Damien Doligez, projet Moscova, INRIA Rocquencourt *) -#(* *) -#(* Copyright 2003 Institut National de Recherche en Informatique et *) -#(* en Automatique. All rights reserved. This file is distributed *) -#(* under the terms of the Q Public License version 1.0. *) -#(* *) -#(***********************************************************************) - -# usage: remove_DEBUG <file> -# remove from <file> every line that contains the string "DEBUG", -# respecting the cpp # line annotation conventions - -echo "# 1 \"$1\"" -LC_ALL=C sed -e '/DEBUG/c\ -(* DEBUG statement removed *)' "$1" |