diff options
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 64b85a8a3..0c4f61ecf 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 387aec928..bdc230d2f 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 86a0f247c..8878e723e 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 8d4fa2f3c..a0d5ee222 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 260aed4df..b77b186d4 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 1200a7c42..4649c9504 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 0b2ab6a2b..b2d7bf872 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 454bb8535..d3d17ebe3 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 c3ed148ff..55cb972fa 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 78b11e612..b8550e252 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 a71d705cc..3aba71923 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 |