diff options
Diffstat (limited to 'web/spiderweb/doc/abstracts.tex')
-rw-r--r-- | web/spiderweb/doc/abstracts.tex | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/web/spiderweb/doc/abstracts.tex b/web/spiderweb/doc/abstracts.tex new file mode 100644 index 0000000000..bb4f38208e --- /dev/null +++ b/web/spiderweb/doc/abstracts.tex @@ -0,0 +1,23 @@ +\centerline{Spider User's Guide} + +This manual explains how to use the {Spider} program to generate a +{\tt WEB} system for any programming language. +It describes the syntax of the {Spider} description file used to +describe a programming language, giving several examples. +It does not say how to use the generated {\tt WEB} system; for that +see ``The Spidery {\tt WEB} System of Structured Documentation.'' + +\bigskip + +\centerline{The Spidery {\tt WEB} System of Structured Documentation} + + +This manual describes how to write programs in the {\tt WEB} language, +using {\tt WEB} systems generated by {Spider}. +Most of the material is taken verbatim from Donald Knuth's original +memo introducing {\tt WEB}. +It contains a brief introduction to the idea of literate programming, +a short explanation of how to run {\tt WEAVE} and {\tt TANGLE}, and a +list of all of the control sequences that can be used in {\tt WEB} +programs and their effects. + |