Re: Request for volunteers

[Isaac <idunham@lavabit.com>]

[-- Attachment #1: Type: text/plain, Size: 921 bytes --]

On Mon, Jul 01, 2013 at 10:42:45AM -0700, Isaac wrote:
> 
> I think it should be simple to convert the text to a man page once it's
> in plain text format, and plan to write a shell script to do that for 
> my own use shortly; I could provide the script to others, though I'm 
> not sure about distributing the output myself.

I have a shell script using mksh that does part of the work.
Currently, the useage would be like this:

for m in *.html
  do
   lynx -dump $m | posix2nroff $m > `basename $m .html`.3posix
  done
(I intend to change it to call lynx and add the extension, plus 
symlink where the HTML pages do so.)

IF YOU CHANGE THE SHELL, YOU WILL NEED TO DEBUG IT!
Quotes and escaping can vary subtly in ways that break the output (I know 
because I tested...); additionally, bash resulted in several places where
the output of printf was something like "N^HNA^HAM^HME^HE" (not sure why).


HTH,
Isaac Dunham

[-- Attachment #2: posix2nroff --]
[-- Type: text/plain, Size: 1255 bytes --]

#!/bin/mksh

#use read -r throughout; '\' cannot break this.
#discard <n>: advance position of read by n lines
discard(){
for i in `seq $1`
  do read -r header
  done
}

#use in pipes to delete leading whitespace
chompws(){
sed -e 's/^[[:space:]]*//'
}


mainparser(){
while read -r line; do
  case "$line" in
   ( NAME | SYNOPSIS | DESCRIPTION | RETURN*VALUE | ERRORS | EXAMPLES | APPLICATION*USAGE | RATIONALE | FUTURE*DIRECTIONS | CHANGE*HISTORY )
     printf ".SH $line\n.LP\n"
     ;;
   (SEE*ALSO)
     printf ".SH $line\n.LP\n"
     ;;
    ('['*']')
     echo '.TP 7'
     echo -n '.B '
     echo "$line" |tr -d [:punct:]
     ;;
    (*#include*)
     printf "$line\n" |sed -e 's/.*#include/#include/'
     ;;
    (----*)
     ;;
    (The*following*sections*informative*)
     echo -n '\\fI'
     echo -n "$line"
     echo '\\fP'
     ;;
    (End*informative*)
     break
     ;;
    (*)
     echo "$line"
     ;;
  esac
done
}
nameof(){
echo `basename $1 .html`
}

discard 4
for line in 1 2 3
  do read -r line
  echo -n '.\"'
  printf " $line\n"
  done

echo -n '.TH '`nameof $1 |tr [a-z] [A-Z]`' P 2013 "IEEE/The Open Group" "POSIX Programmers Manual"'

discard 2

mainparser
discard 11
echo '.SH COPYRIGHT'
echo '.LP'
read -r line
echo "$line"