]> matita.cs.unibo.it Git - helm.git/commitdiff
...
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 20 Jun 2003 14:27:23 +0000 (14:27 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 20 Jun 2003 14:27:23 +0000 (14:27 +0000)
helm/gTopLevel/INSTALL

index 80c3292224b898cea23a718ff6c6f8a4139237af..d8a8d1f8a43f8223e324472806339f9cb07784e3 100644 (file)
@@ -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.