]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/gTopLevel/INSTALL
Installation instructions.
[helm.git] / helm / gTopLevel / INSTALL
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.