Code Review
/
ric-plt
/
lib
/
rmr.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
review
|
tree
raw
|
inline
| side by side
Update release notes to include cherry header
[ric-plt/lib/rmr.git]
/
doc
/
src
/
rtd
/
gen_title.im
diff --git
a/doc/src/rtd/gen_title.im
b/doc/src/rtd/gen_title.im
index
96c516f
..
504ddfe
100644
(file)
--- a/
doc/src/rtd/gen_title.im
+++ b/
doc/src/rtd/gen_title.im
@@
-29,6
+29,7
@@
Date: 10 April 2020
.fi
Date: 10 April 2020
.fi
+.** special man page title generator
.gv e INPUT_FILE in
.if in
.if ! doc_title
.gv e INPUT_FILE in
.if in
.if ! doc_title
@@
-36,6
+37,7
@@
.fi
.fi
.fi
.fi
+.** add license to the document as a comment; where possible
.im license.im
.gv e OUTPUT_TYPE ot
.im license.im
.gv e OUTPUT_TYPE ot
@@
-50,17
+52,29
@@
&doc_subtitle .br
&many_dashes .br
.fi
&doc_subtitle .br
&many_dashes .br
.fi
+ .sp 2
.ei
.ei
- .sf Helvetica
- .sp 5
- .st 18
- .ce &doc_title
- .st 12
- .if doc_subtitle
- .ce &doc_subtitle
+ if pfm
+ .sf Helvetica-bold
+ .sp 5
+ .st 18
+ .ce &doc_title
+ .st 12
+ .if doc_subtitle
+ .ce &doc_subtitle
+ .fi
+ .st &textsize
+ .sf &txtfont
+ .sp 2
+ .ei
+ .sp 1
+ .ce &doc_title
+ .br
+ .if doc_subtitle
+ .ce &doc_subtitle
+ .fi
+
+ .sp 2
.fi
.fi
- .st &textsize
- .sf &txtfont
- .sp 2
.fi
.fi
.fi
.fi