diff options
| author | Maxence Guesdon <maxence.guesdon@inria.fr> | 2002-04-08 09:47:13 +0000 |
|---|---|---|
| committer | Maxence Guesdon <maxence.guesdon@inria.fr> | 2002-04-08 09:47:13 +0000 |
| commit | 566b0fd5a80100b4465db98bdb75cc3e022ccb70 (patch) | |
| tree | fc1cfaab0e2219b404ffb3da22f74febaa0dee35 /ocamldoc/odoc_texi.ml | |
| parent | da68ab5fa19f0884021ae542b6e4fc669a5bb4cc (diff) | |
| download | ocaml-566b0fd5a80100b4465db98bdb75cc3e022ccb70.tar.gz | |
ajout option -o et suppression de l'option -dot-file
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4607 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'ocamldoc/odoc_texi.ml')
| -rw-r--r-- | ocamldoc/odoc_texi.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ocamldoc/odoc_texi.ml b/ocamldoc/odoc_texi.ml index eac409ddcf..8117e33b43 100644 --- a/ocamldoc/odoc_texi.ml +++ b/ocamldoc/odoc_texi.ml @@ -1000,11 +1000,11 @@ class texi = - (** Generate the [doc.texi] Texinfo file from a module list. *) + (** Generate the Texinfo file from a module list, in the {!Odoc_args.out_file} file. *) method generate module_list = try let chanout = open_out - (Filename.concat !Odoc_args.target_dir "doc.texi") in + (Filename.concat !Odoc_args.target_dir !Odoc_args.out_file) in if !Odoc_args.with_header then self#generate_texi_header chanout module_list ; List.iter |