Correction des bugs #1455 et #1456

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9728 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 1 insertions, 6 deletions

diff --git a/tools/coqdoc/cdglobals.ml b/tools/coqdoc/cdglobals.ml
index c5abbff05..eef598fdd 100644
--- a/tools/coqdoc/cdglobals.ml
+++ b/tools/coqdoc/cdglobals.ml
@@ -29,16 +29,11 @@ let open_out_file f =
   let f = if !output_dir <> "" && Filename.is_relative f then Filename.concat !output_dir f else f in
     out_channel := open_out f
 
-let open_temp_out_file prefix suffix =
-  let tmp_fname, tmp_ochan = Filename.open_temp_file prefix suffix in
-    out_channel := tmp_ochan;
-    tmp_fname
-
 let close_out_file () = close_out !out_channel
 
 
 let header_trailer = ref true
-let quiet = ref false
+let quiet = ref true
 let light = ref false
 let gallina = ref false
 let short = ref false