]> matita.cs.unibo.it Git - helm.git/commitdiff
Installation instructions.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 20 Jun 2003 14:25:45 +0000 (14:25 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 20 Jun 2003 14:25:45 +0000 (14:25 +0000)
helm/gTopLevel/INSTALL [new file with mode: 0644]

diff --git a/helm/gTopLevel/INSTALL b/helm/gTopLevel/INSTALL
new file mode 100644 (file)
index 0000000..80c3292
--- /dev/null
@@ -0,0 +1,6 @@
+1) 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.
+
+Every time that you upgrade stylesheets, you should "rm -rf" the styles
+directory and do make again.