Add manual pages to RTD as individual files

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

diff --git a/doc/src/rtd/setup.im b/doc/src/rtd/setup.im
index 92f7539..51b5d2b 100644 (file)
--- a/doc/src/rtd/setup.im
+++ b/doc/src/rtd/setup.im
@@ -62,5 +62,12 @@
 .cd 1 6.5i m=0 i=0
 &line_len( 6i)
 
+.if ! textsize
+       .dv textsize 10
+.fi
+.if ! textfont
+       .dv textfont Helvetica
+.fi
+
 .dv _setup_im 1
 .fi