diff options
| -rw-r--r-- | doc/manual.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/manual.txt b/doc/manual.txt index 6d49bcd32..89a417fb2 100644 --- a/doc/manual.txt +++ b/doc/manual.txt @@ -5321,7 +5321,7 @@ See `Ordinary vs immediate templates`_. compilation option pragmas -------------------------- The listed pragmas here can be used to override the code generation options -for a section of code. +for a proc/method/converter. The implementation currently provides the following possible options (various others may be added later). |