From eb66cc42b19a35b39051aadfdeee102074a58400 Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 20 Jun 2003 14:25:45 +0000
Subject: [PATCH] Installation instructions.

---
 helm/gTopLevel/INSTALL | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 helm/gTopLevel/INSTALL

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.
-- 
2.39.2