diff options
Diffstat (limited to 'doc/docs.txt')
| -rw-r--r-- | doc/docs.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/docs.txt b/doc/docs.txt index ecf0cc268..4484784ae 100644 --- a/doc/docs.txt +++ b/doc/docs.txt @@ -28,7 +28,7 @@ The documentation consists of several documents: builtin templating system. - | `Term rewriting macros <trmacros.html>`_ - | Term rewriting macros enhance the compilation process with user defined + | Term rewriting macros enhance the compilation process with user defined optimizations. - | `Internal documentation <intern.html>`_ |