]> matita.cs.unibo.it Git - helm.git/blob - helm/gTopLevel/INSTALL
Installation instructions.
[helm.git] / helm / gTopLevel / INSTALL
1 1) Check out the "stylesheets" and "meta_stylesheets" directories from the
2    MoWGLI CVS repository.
3 2) Type "make" to compile to bytecode and "make opt" to compile to nativecode.
4
5 Every time that you upgrade stylesheets, you should "rm -rf" the styles
6 directory and do make again.