From 606efb43e2c96680e16ddc2dca67519fe93fbd2b Mon Sep 17 00:00:00 2001 From: Ludovic Jacomme Date: Tue, 27 Jul 2004 21:42:50 +0000 Subject: [PATCH] better like this --- alliance/src/README.win32 | 10 ++++------ 1 file changed, 4 insertions(+), 6 deletions(-) diff --git a/alliance/src/README.win32 b/alliance/src/README.win32 index 4d389151..6a4bc0c5 100644 --- a/alliance/src/README.win32 +++ b/alliance/src/README.win32 @@ -54,14 +54,12 @@ associated makefile in /alliance/examples subdirectories. # =================================================================== In order to use graphic tools such as graal or dreal you must have -an X server running and not to forget to set properly the DISPLAY -environment variable. +an X server running. (see http://x.cygwin.com/ for details) -You can use Xwin.exe (the cygwin X server) as follows : -> /usr/X11R6/bin/Xwin.exe -multiwindow -nodecoration & -> export DISPLAY=:0 +You can use the startx script to run the cygwin X server as follows : +> /usr/X11R6/bin/startx -And then launch graal : +And then you can launch graal : > graal