From c8fee844b934dd79acbd64936a33b5fa654ef47a Mon Sep 17 00:00:00 2001
From: pboutill
Date: Fri, 7 Jan 2011 14:26:12 +0000
Subject: Fix print in coqide

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13774 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 ide/coqide.ml | 14 ++++++++------
 1 file changed, 8 insertions(+), 6 deletions(-)

diff --git a/ide/coqide.ml b/ide/coqide.ml
index 8845cade09..f99f2526fb 100644
--- a/ide/coqide.ml
+++ b/ide/coqide.ml
@@ -1564,12 +1564,13 @@ let choose_save session =
 
 let do_print session =
   let av = session.analyzed_view in
-    if session.filename = ""
-    then flash_info "Cannot print: this buffer has no name"
-    else begin
+    match av#filename with
+      |None ->  flash_info "Cannot print: this buffer has no name"
+      |Some f_name ->  begin
       let cmd =
-        "cd " ^ Filename.quote (Filename.dirname session.filename) ^ "; " ^
-        !current.cmd_coqdoc ^ " -ps " ^ Filename.quote (Filename.basename session.filename) ^
+        "cd " ^ Filename.quote (Filename.dirname f_name) ^ "; " ^
+        !current.cmd_coqdoc ^ "--coqlib_path " ^Envars.coqlib () ^
+	  " -ps " ^ Filename.quote (Filename.basename f_name) ^
         " | " ^ !current.cmd_print
       in
       let print_window = GWindow.window ~title:"Print" ~modal:true ~position:`CENTER ~wm_class:"CoqIDE" ~wm_name: "CoqIDE"  () in
@@ -1829,7 +1830,8 @@ let main files =
             in
             let cmd =
               "cd " ^ Filename.quote (Filename.dirname f) ^ "; " ^
-              !current.cmd_coqdoc ^ " --" ^ kind ^ " -o " ^ (Filename.quote output) ^ " " ^ (Filename.quote basef)
+              !current.cmd_coqdoc ^ "--coqlib_path " ^Envars.coqlib () ^ " --" ^ kind ^ 
+		" -o " ^ (Filename.quote output) ^ " " ^ (Filename.quote basef)
             in
             let s,_ = run_command av#insert_message cmd in
             flash_info (cmd ^
-- 
cgit v1.2.3