From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 20 Jun 2003 14:25:45 +0000 (+0000)
Subject: Installation instructions.
X-Git-Tag: V7_3_new_exportation_merged~7
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=eb66cc42b19a35b39051aadfdeee102074a58400

Installation instructions.
---

diff --git a/helm/gTopLevel/INSTALL b/helm/gTopLevel/INSTALL
new file mode 100644
index 000000000..80c329222
--- /dev/null
+++ b/helm/gTopLevel/INSTALL
@@ -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.