diff options
Diffstat (limited to 'tools/cleanup-header')
| -rw-r--r-- | tools/cleanup-header | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/tools/cleanup-header b/tools/cleanup-header index 6c320fb39..bc64f2e92 100644 --- a/tools/cleanup-header +++ b/tools/cleanup-header @@ -1,4 +1,17 @@ #!/bin/sed -f + +####################################################################### +# # +# OCaml # +# # +# Xavier Leroy, projet Cristal, INRIA Rocquencourt # +# # +# Copyright 2002 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. # +# # +####################################################################### + # Remove private parts from runtime include files, before installation # in /usr/local/lib/ocaml/caml |