From 2f428491b0aedf0b5b6e639e91a30c36b9b924b5 Mon Sep 17 00:00:00 2001 From: mathieu2em Date: Wed, 31 Jul 2019 13:18:28 -0400 Subject: better indent , gsi opening param using module if > version 4.9.3 --- INSTALL | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'INSTALL') diff --git a/INSTALL b/INSTALL index 404e8f9..104eb9c 100644 --- a/INSTALL +++ b/INSTALL @@ -68,7 +68,7 @@ package-install-file. -Configure Gambit correctly to have access to the (##decompile method) this is required for dynamic autodoc of users defined methods and ## starting methods - $ cd ~/[YOUR GAMBIT FILES] + $ cd ~/[YOUR GAMBIT DIRECTORY] $ ./configure --enable-single-host --enable-debug --enable-rtlib-debug-source $ make bootstrap $ make bootclean -- cgit v1.2.3