summaryrefslogtreecommitdiff
path: root/web/reduce/rweb/README
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2019-09-02 13:46:59 +0900
committerNorbert Preining <norbert@preining.info>2019-09-02 13:46:59 +0900
commite0c6872cf40896c7be36b11dcc744620f10adf1d (patch)
tree60335e10d2f4354b0674ec22d7b53f0f8abee672 /web/reduce/rweb/README
Initial commit
Diffstat (limited to 'web/reduce/rweb/README')
-rw-r--r--web/reduce/rweb/README35
1 files changed, 35 insertions, 0 deletions
diff --git a/web/reduce/rweb/README b/web/reduce/rweb/README
new file mode 100644
index 0000000000..5e4c2c321b
--- /dev/null
+++ b/web/reduce/rweb/README
@@ -0,0 +1,35 @@
+This directory contains all the necessary stuff for making RWEB, the
+REDUCE version of WEB.
+
+Currently I maintain two versions, one for the old REDUCE version 3.3
+and one for the new version 3.4. It should be noted, however, that I only
+make improvements on the new 3.4 version. The main difference until
+now in both versions, is the removing of underscores in the 3.3 version.
+
+Along with these files you need a version of SPIDERY WEB, which can be
+obtained by anonymous ftp from princeton.edu (128.112.128.1).
+
+After you have installed SPIDERY WEB you know what it means to put the
+files contained in this directory into a new directory $(WEBROOT)/reduce.
+Do it. You might as well want to change the variable HOME in
+$(WEBROOT)/reduce/Makefile (which is in fact an adapted version of
+$(MASTER)/WebMakefile).
+
+In order to make RWEB, go to $(WEBROOT)/reduce and type 'make weave',
+'make tangle' or 'make web', if you want to make rweave, rtangle or
+both. The documentation needed for using RWEB is
+$(WEBROOT)/doc/spiderwebman.tex.
+
+Have fun,
+
+Old address:
+
+Marcel Roelofs,
+University of Twente,
+Department of applied mathematics,
+P.O. Box 217,
+7500 AE Enschede,
+The Netherlands.
+E-mail: roelofs@math.utwente.nl
+
+New (941105) roelofs@cwi.nl