diff options
Diffstat (limited to 'doc/user/prg_prog')
| -rw-r--r-- | doc/user/prg_prog | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/user/prg_prog b/doc/user/prg_prog index 19a525e..398dd29 100644 --- a/doc/user/prg_prog +++ b/doc/user/prg_prog @@ -4,6 +4,9 @@ @Begin @PP The standard reference for the Eiffel language @Cite { $meyer1992eiffel } +programs. @RawIndex { programs } +programs.programtext @SubIndex { program text in comments } +programtext.programs @Index { program text in program comments } specifies that identifiers within comments may or should be enclosed in ` and ' so that they may be noticed and printed in an italic font: |