From edf1899143874c6f8fba9bc81046be47ff46ae62 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 25 Jan 2008 16:30:55 +0000
Subject: Fix previous change.

---
 isar/isabelle-system.el | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/isar/isabelle-system.el b/isar/isabelle-system.el
index 2d41208d..fb7e4f80 100644
--- a/isar/isabelle-system.el
+++ b/isar/isabelle-system.el
@@ -231,8 +231,7 @@ until Proof General is restarted."
 	     "isa-view-doc" nil
 	     (append (split-string
 		      isa-isatool-command) 
-		     "doc" docname))))
-
+		     (list "doc" docname)))))
 
 (defun isa-tool-list-docs ()
   "Generate a list of documentation files available, with descriptions.
-- 
cgit v1.2.3