]> matita.cs.unibo.it Git - helm.git/blob - helm/gTopLevel/INSTALL
80c3292224b898cea23a718ff6c6f8a4139237af
[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.