summaryrefslogtreecommitdiff
path: root/obsolete/systems/knuth/unsupported/web/tangle.changes
diff options
context:
space:
mode:
Diffstat (limited to 'obsolete/systems/knuth/unsupported/web/tangle.changes')
-rw-r--r--obsolete/systems/knuth/unsupported/web/tangle.changes20
1 files changed, 20 insertions, 0 deletions
diff --git a/obsolete/systems/knuth/unsupported/web/tangle.changes b/obsolete/systems/knuth/unsupported/web/tangle.changes
new file mode 100644
index 0000000000..184e52c105
--- /dev/null
+++ b/obsolete/systems/knuth/unsupported/web/tangle.changes
@@ -0,0 +1,20 @@
+This is the change file for TANGLE.WEB. It turns on the DEBUG and STAT
+features, and helps you debug your installation of Tangle.
+
+@x Turn on debugging:
+@d debug==@{ {change this to `$\\{debug}\equiv\null$' when debugging}
+@d gubed==@t@>@} {change this to `$\\{gubed}\equiv\null$' when debugging}
+@y
+@d debug==
+@d gubed==
+@z
+
+@x Turn on statistics gathering:
+@d stat==@{ {change this to `$\\{stat}\equiv\null$'
+ when gathering usage statistics}
+@d tats==@t@>@} {change this to `$\\{tats}\equiv\null$'
+ when gathering usage statistics}
+@y
+@d stat==
+@d tats==
+@z