-
-@include{stdhead}@
- $title
-
-
-@include{@label{menu}@}@
-EOF
+echo ""
+echo " "
+if $stdhead; then
+ echo "@quiethead@#"
+fi
+echo " $title"
+echo " "
+echo " "
+if $stdhead; then
+ echo "@stdmenu{}@#"
+fi
printf " "
# this is kind of painful using only BREs
-nroff -man "$1" | sed 's/&/\&/g;
+nroff -Tascii -man "$1" | ${GNUSED} \
+ '1d;$d;
+ 1,/./{/^$/d};
+ s/&/\&/g;
s/\</g;
s/>/\>/g;
s/@/\@/g;
@@ -43,9 +63,9 @@ nroff -man "$1" | sed 's/&/\&/g;
s!_\(.\)!\1!g;
s!_\(&[#0-9a-z][0-9a-z]*;\)!\1!g;
s!\([bi]\)><\1>!!g'
-cat <
-@include{@label{menu}@end}@
-
-
-EOF
+echo "
"
+if $stdhead; then
+ echo "@credits"
+fi
+echo " "
+echo "