From 210445db4d7f550bbfac3e2db6d0aefcf02b71d4 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Fri, 20 Jun 2003 14:27:23 +0000 Subject: [PATCH] ... --- helm/gTopLevel/INSTALL | 14 ++++++++++---- 1 file changed, 10 insertions(+), 4 deletions(-) diff --git a/helm/gTopLevel/INSTALL b/helm/gTopLevel/INSTALL index 80c329222..d8a8d1f8a 100644 --- a/helm/gTopLevel/INSTALL +++ b/helm/gTopLevel/INSTALL @@ -1,6 +1,12 @@ -1) Check out the "stylesheets" and "meta_stylesheets" directories from the +1) Customize script.sh. You should load script.sh before compiling or + executing gTopLevel +2) Customize gTopLevel.ml and rootcontent.xsl in order to make them communicate. +3) Check out the "stylesheets" and "meta_stylesheets" directories from the MoWGLI CVS repository. -2) Type "make" to compile to bytecode and "make opt" to compile to nativecode. +4) Type "make" to compile to bytecode and "make opt" to compile to nativecode. -Every time that you upgrade stylesheets, you should "rm -rf" the styles -directory and do make again. +Enjoy! + +Note: + Every time that you upgrade stylesheets, you should "rm -rf" the styles + directory and do make again. -- 2.39.2