Add user manual source

[ric-plt/lib/rmr.git] / doc / src / txt.im

diff --git a/doc/src/txt.im b/doc/src/txt.im
index 9a666d7..6599928 100644 (file)
--- a/doc/src/txt.im
+++ b/doc/src/txt.im
@@ -81,6 +81,9 @@
 .dv ex_start .sp 1 .ll -2 .in +2 .nf
 .dv ex_end .fo on .in -2 .ll +2 .sp 1
 
+.dv proto_start .sp 1 .cc .5i .st 9 .sf Courier-bold .nf
+.dv proto_end .fo on .sf ^&text_font .st ^&text_size .sp .3
+
 .** fonts and font macros
 .dv ital $1
 .dv bold $1
@@ -92,5 +95,10 @@
 .dv tab_row
 .dv end_table .fi
 
+.dv super .sm ^[ .sm ^&{ss_num}]
+.dv ss_num 1
+.dv note .dv ss_num ^[ ?%.0f ^&ss_num 1 + ] ^: .sm ^^[^&{ss_num}]
+.** pure ascii out has no concept of a page, so all notes go to the close of the doc
+.dv atbot atclose
 .ju on