diff options
Diffstat (limited to 'ocamldoc/remove_DEBUG')
| -rwxr-xr-x | ocamldoc/remove_DEBUG | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/ocamldoc/remove_DEBUG b/ocamldoc/remove_DEBUG index 6dd7ad0b0f..7233afbac0 100755 --- a/ocamldoc/remove_DEBUG +++ b/ocamldoc/remove_DEBUG @@ -1,5 +1,18 @@ #!/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. *) +#(* *) +#(***********************************************************************) + +# $Id$ + # usage: remove_DEBUG <file> # remove from <file> every line that contains the string "DEBUG", # respecting the cpp # line annotation conventions |