pretty.mll of coqdoc becomes cpretty.mll (avoid clash with a camlp5 file)

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

4 files changed, 3 insertions, 3 deletions

diff --git a/Makefile.common b/Makefile.common
index 461c1c78f6..8a258fb8cc 100644
--- a/Makefile.common
+++ b/Makefile.common
@@ -263,7 +263,7 @@ GALLINACMO:=tools/gallina_lexer.cmo tools/gallina.cmo
 GALLINACMX:=$(GALLINACMO:.cmo=.cmx)
 
 COQDOCCMO:=$(CONFIG) $(addprefix tools/coqdoc/, \
-  cdglobals.cmo alpha.cmo index.cmo output.cmo pretty.cmo main.cmo )
+  cdglobals.cmo alpha.cmo index.cmo output.cmo cpretty.cmo main.cmo )
 COQDOCCMX:=$(COQDOCCMO:.cmo=.cmx)
 
 # grammar modules with camlp4
diff --git a/tools/coqdoc/pretty.mli b/tools/coqdoc/cpretty.mli
index f02a79be50..f02a79be50 100644
--- a/tools/coqdoc/pretty.mli
+++ b/tools/coqdoc/cpretty.mli
diff --git a/tools/coqdoc/pretty.mll b/tools/coqdoc/cpretty.mll
index 1420c9a924..1420c9a924 100644
--- a/tools/coqdoc/pretty.mll
+++ b/tools/coqdoc/cpretty.mll
diff --git a/tools/coqdoc/main.ml b/tools/coqdoc/main.ml
index 24538360a2..bbfd93fd44 100644
--- a/tools/coqdoc/main.ml
+++ b/tools/coqdoc/main.ml
@@ -383,7 +383,7 @@ let copy src dst =
 let gen_one_file l =
   let file = function
     | Vernac_file (f,m) -> 
-	Output.set_module m; Pretty.coq_file f m
+	Output.set_module m; Cpretty.coq_file f m
     | Latex_file _ -> ()
   in
     if (!header_trailer) then Output.header ();
@@ -399,7 +399,7 @@ let gen_mult_files l =
 	let hf = target_full_name m in
 	  open_out_file hf;
 	  if (!header_trailer) then Output.header (); 
-	  Pretty.coq_file f m; 
+	  Cpretty.coq_file f m; 
 	  if (!header_trailer) then Output.trailer ();
 	  close_out_file()
     | Latex_file _ -> ()