version 1.25, 2006/01/26 07:38:32 |
version 1.26, 2006/01/26 10:24:55 |
|
|
/* $OpenXM: OpenXM/src/kxx/ox_texmacs.c,v 1.24 2006/01/21 12:23:15 takayama Exp $ */ |
/* $OpenXM: OpenXM/src/kxx/ox_texmacs.c,v 1.25 2006/01/26 07:38:32 takayama Exp $ */ |
|
|
#include <stdio.h> |
#include <stdio.h> |
#include <stdlib.h> |
#include <stdlib.h> |
Line 183 main(int argc,char *argv[]) { |
|
Line 183 main(int argc,char *argv[]) { |
|
/* engine id should be set to ox.engine */ |
/* engine id should be set to ox.engine */ |
KSexecuteString(" [(parse) (ox.sm1) pushfile] extension "); |
KSexecuteString(" [(parse) (ox.sm1) pushfile] extension "); |
if (Xm_noX) KSexecuteString(" /Xm_noX 1 def "); |
if (Xm_noX) KSexecuteString(" /Xm_noX 1 def "); |
|
if (EngineLogToStdout) KSexecuteString(" /Xm_engineLogToStdout 1 def "); |
startEngine(TM_Engine," "); |
startEngine(TM_Engine," "); |
|
|
if (signal(SIGINT,SIG_IGN) != SIG_IGN) { |
if (signal(SIGINT,SIG_IGN) != SIG_IGN) { |