X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2FINSTALL;h=d8a8d1f8a43f8223e324472806339f9cb07784e3;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=80c3292224b898cea23a718ff6c6f8a4139237af;hpb=eb66cc42b19a35b39051aadfdeee102074a58400;p=helm.git

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.