Re: INSTALL file

I totally agree.  Can someone use lyx for the conversion from html to
text? This is what I use.

    :
    trap "rm -f /tmp/$$" 0 1 2 3 15

    if [ "$#" -eq 0 ]
    then    cat >/tmp/$$
        set /tmp/$$
    fi
    lynx -force_html -dump -hiddenlinks=ignore -nolist "$@"

--
  Bruce Momjian                        |  http://www.op.net/~candle
  pgman@candle.pha.pa.us               |  (610) 853-3000
  +  If your life is a hard drive,     |  830 Blythe Avenue
  +  Christ can be your backup.        |  Drexel Hill, Pennsylvania 19026