diff options
| author | Damien Doligez <damien.doligez-inria.fr> | 2011-07-27 14:17:02 +0000 |
|---|---|---|
| committer | Damien Doligez <damien.doligez-inria.fr> | 2011-07-27 14:17:02 +0000 |
| commit | 3b507dd1aa286684543a35cc7da763feebf9aa8d (patch) | |
| tree | 9440970c6915ebe15feb48569b19382d952ba564 /ocamldoc | |
| parent | db1e7c7e2332b71510285bbd5f0760870087bce6 (diff) | |
| download | ocaml-3b507dd1aa286684543a35cc7da763feebf9aa8d.tar.gz | |
renaming of Objective Caml to OCaml and cleanup of copyright headers
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@11156 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'ocamldoc')
| -rw-r--r-- | ocamldoc/Makefile | 3 | ||||
| -rw-r--r-- | ocamldoc/Makefile.nt | 2 | ||||
| -rw-r--r-- | ocamldoc/odoc_dep.ml | 2 | ||||
| -rw-r--r-- | ocamldoc/odoc_dot.ml | 2 | ||||
| -rw-r--r-- | ocamldoc/odoc_gen.ml | 13 | ||||
| -rw-r--r-- | ocamldoc/odoc_gen.mli | 13 | ||||
| -rw-r--r-- | ocamldoc/odoc_global.ml | 2 | ||||
| -rw-r--r-- | ocamldoc/odoc_global.mli | 2 | ||||
| -rw-r--r-- | ocamldoc/odoc_texi.ml | 3 | ||||
| -rwxr-xr-x | ocamldoc/remove_DEBUG | 2 | ||||
| -rw-r--r-- | ocamldoc/runocamldoc | 13 |
11 files changed, 47 insertions, 10 deletions
diff --git a/ocamldoc/Makefile b/ocamldoc/Makefile index 64b85a8a34..0c4f61ecfc 100644 --- a/ocamldoc/Makefile +++ b/ocamldoc/Makefile @@ -1,5 +1,5 @@ #(***********************************************************************) -#(* OCamldoc *) +#(* OCamldoc *) #(* *) #(* Maxence Guesdon, projet Cristal, INRIA Rocquencourt *) #(* *) @@ -355,6 +355,7 @@ clean:: dummy @rm -f odoc_lexer.ml odoc_text_lexer.ml odoc_see_lexer.ml odoc_ocamlhtml.ml @rm -f odoc_parser.ml odoc_parser.mli odoc_text_parser.ml odoc_text_parser.mli @rm -rf stdlib_man + @rm -f generators/*.cm[aiox] generators/*.[ao] generators/*.cmx[as] depend:: $(OCAMLYACC) odoc_text_parser.mly diff --git a/ocamldoc/Makefile.nt b/ocamldoc/Makefile.nt index 387aec928c..bdc230d2fa 100644 --- a/ocamldoc/Makefile.nt +++ b/ocamldoc/Makefile.nt @@ -1,5 +1,5 @@ #(***********************************************************************) -#(* OCamldoc *) +#(* OCamldoc *) #(* *) #(* Maxence Guesdon, projet Cristal, INRIA Rocquencourt *) #(* *) diff --git a/ocamldoc/odoc_dep.ml b/ocamldoc/odoc_dep.ml index 86a0f247c9..8878e723e0 100644 --- a/ocamldoc/odoc_dep.ml +++ b/ocamldoc/odoc_dep.ml @@ -1,5 +1,5 @@ (***********************************************************************) -(* OCamldoc *) +(* OCamldoc *) (* *) (* Maxence Guesdon, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/ocamldoc/odoc_dot.ml b/ocamldoc/odoc_dot.ml index 8d4fa2f3c9..a0d5ee2224 100644 --- a/ocamldoc/odoc_dot.ml +++ b/ocamldoc/odoc_dot.ml @@ -1,5 +1,5 @@ (***********************************************************************) -(* Ocamldoc *) +(* OCamldoc *) (* *) (* Maxence Guesdon, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/ocamldoc/odoc_gen.ml b/ocamldoc/odoc_gen.ml index 260aed4df4..b77b186d4c 100644 --- a/ocamldoc/odoc_gen.ml +++ b/ocamldoc/odoc_gen.ml @@ -1,3 +1,14 @@ +(***********************************************************************) +(* OCamldoc *) +(* *) +(* Maxence Guesdon, projet Gallium, INRIA Rocquencourt *) +(* *) +(* Copyright 2010 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. *) +(* *) +(***********************************************************************) + (** *) class type doc_generator = @@ -35,4 +46,4 @@ let get_minimal_generator = function | Other m -> let module M = (val m : Base) in new M.generator - ;;
\ No newline at end of file + ;; diff --git a/ocamldoc/odoc_gen.mli b/ocamldoc/odoc_gen.mli index 1200a7c420..4649c9504b 100644 --- a/ocamldoc/odoc_gen.mli +++ b/ocamldoc/odoc_gen.mli @@ -1,3 +1,14 @@ +(***********************************************************************) +(* OCamldoc *) +(* *) +(* Maxence Guesdon, projet Gallium, INRIA Rocquencourt *) +(* *) +(* Copyright 2010 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. *) +(* *) +(***********************************************************************) + (** The types of generators. *) (** The minimal class type of documentation generators. *) @@ -19,4 +30,4 @@ type generator = | Other of (module Base) ;; -val get_minimal_generator : generator -> doc_generator
\ No newline at end of file +val get_minimal_generator : generator -> doc_generator diff --git a/ocamldoc/odoc_global.ml b/ocamldoc/odoc_global.ml index 0b2ab6a2bb..b2d7bf872f 100644 --- a/ocamldoc/odoc_global.ml +++ b/ocamldoc/odoc_global.ml @@ -1,5 +1,5 @@ (***********************************************************************) -(* OCamldoc *) +(* OCamldoc *) (* *) (* Maxence Guesdon, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/ocamldoc/odoc_global.mli b/ocamldoc/odoc_global.mli index 454bb8535b..d3d17ebe38 100644 --- a/ocamldoc/odoc_global.mli +++ b/ocamldoc/odoc_global.mli @@ -1,5 +1,5 @@ (***********************************************************************) -(* Ocamldoc *) +(* OCamldoc *) (* *) (* Maxence Guesdon, projet Cristal, INRIA Rocquencourt *) (* *) diff --git a/ocamldoc/odoc_texi.ml b/ocamldoc/odoc_texi.ml index c3ed148ff6..55cb972fae 100644 --- a/ocamldoc/odoc_texi.ml +++ b/ocamldoc/odoc_texi.ml @@ -1,11 +1,12 @@ (***********************************************************************) -(* OCamldoc *) +(* OCamldoc *) (* *) (* Olivier Andrieu, base sur du code de Maxence Guesdon *) (* *) (* Copyright 2001 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$ *) diff --git a/ocamldoc/remove_DEBUG b/ocamldoc/remove_DEBUG index 78b11e6128..b8550e252e 100755 --- a/ocamldoc/remove_DEBUG +++ b/ocamldoc/remove_DEBUG @@ -1,7 +1,7 @@ #!/bin/sh #(***********************************************************************) -#(* OCamldoc *) +#(* OCamldoc *) #(* *) #(* Damien Doligez, projet Moscova, INRIA Rocquencourt *) #(* *) diff --git a/ocamldoc/runocamldoc b/ocamldoc/runocamldoc index a71d705ccd..3aba71923a 100644 --- a/ocamldoc/runocamldoc +++ b/ocamldoc/runocamldoc @@ -1,4 +1,17 @@ #!/bin/sh + +####################################################################### +# # +# 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. # +# # +####################################################################### + # $Id$ case "$1" in |