" -# this is kind of painful using only BREs -nroff -man "$1" | sed 's/&/\&/g; - s/\</g; - s/>/\>/g; - s/@/\@/g; - s!\(.\)\1!\1!g; - s!\(&[#0-9a-z][0-9a-z]*;\)\1!\1!g; - s!_\(.\)!\1!g; - s!_\(&[#0-9a-z][0-9a-z]*;\)!\1!g; - s!\([bi]\)><\1>!!g' -cat <-@include{@label{menu}@end}@ - -