From 25b469868185a1ba9d8728a0729cce13e115952f Mon Sep 17 00:00:00 2001
From: cascade <cascade@opencascade.com>
Date: Fri, 25 Jun 2004 21:07:01 +0000
Subject: [PATCH] Correction of problem of tcl output in Emacsresources

---
 src/WOKsite/FILES       | 4 +++-
 src/WOKsite/tclshrc_Wok | 3 ---
 2 files changed, 3 insertions(+), 4 deletions(-)

diff --git a/src/WOKsite/FILES b/src/WOKsite/FILES
index 87fb09e..512252d 100755
--- a/src/WOKsite/FILES
+++ b/src/WOKsite/FILES
@@ -7,5 +7,7 @@ srcinc:::INSTALL
 srcinc:::wok.csh
 srcinc:::wok.bat
 srcinc:::wokinit.bat
-srcinc:::cmd-input.tcl
+srcinc:::interp.tcl
 srcinc:::wokinit.csh
+srcinc:::.tclshrc
+srcinc:::tclshrc.tcl
diff --git a/src/WOKsite/tclshrc_Wok b/src/WOKsite/tclshrc_Wok
index b522c7b..5f1cfb3 100755
--- a/src/WOKsite/tclshrc_Wok
+++ b/src/WOKsite/tclshrc_Wok
@@ -167,8 +167,5 @@ set env(WOK_SESSIONID)  $env(HOME)/.wok
 set tcl_prompt1 {if {[info commands wokcd] != ""}  then \
 	{puts -nonewline stdout "[wokcd]> "} else \
 	{puts -nonewline stdout "tclsh> "}}
-if { "$tcl_platform(platform)" == "windows" } {
-   source $env(WOKHOME)/site/cmd-input.tcl
-}
 cd $env(WOK_ROOTADMDIR)
 wokclose -a
-- 
2.39.5