]> matita.cs.unibo.it Git - helm.git/blob - helm/gTopLevel/INSTALL
bumped year
[helm.git] / helm / gTopLevel / INSTALL
1 1) Customize script.sh. You should load script.sh before compiling or
2    executing gTopLevel
3 2) Customize gTopLevel.ml and rootcontent.xsl in order to make them communicate.
4 3) Check out the "stylesheets" and "meta_stylesheets" directories from the
5    MoWGLI CVS repository.
6 4) Type "make" to compile to bytecode and "make opt" to compile to nativecode.
7
8 Enjoy!
9
10 Note:
11  Every time that you upgrade stylesheets, you should "rm -rf" the styles
12  directory and do make again.