summary refs log tree commit diff stats
path: root/doc/docs.txt
diff options
context:
space:
mode:
Diffstat (limited to 'doc/docs.txt')
-rwxr-xr-xdoc/docs.txt4
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/docs.txt b/doc/docs.txt
index 42294ea1c..14bdd64b2 100755
--- a/doc/docs.txt
+++ b/doc/docs.txt
@@ -30,6 +30,10 @@ The documentation consists of several documents:
   | The Nimrod compiler supports source code filters as a simple yet powerful
     builtin templating system.
 
+- | `Term rewriting macros <trmacros.html>`_
+  | Term rewriting macros enhance the compilation process with user defined 
+    optimizations.
+
 - | `Internal documentation <intern.html>`_
   | The internal documentation describes how the compiler is implemented. Read
     this if you want to hack the compiler.