From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 20 Jun 2003 14:27:23 +0000 (+0000)
Subject: ...
X-Git-Tag: V7_3_new_exportation_merged~6
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=210445db4d7f550bbfac3e2db6d0aefcf02b71d4

...
---

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.