Recipe for producing various formats of the libbitmask document, starting
with the original in Leo, an outlining editor for programmers, with
markup encoded inline using Restructured Text (rst).

Ingredients:
  Original source document file: libbitmask.leo
  The makefile: Makefile.doc
  A little patch: libbitmask.patch
  Latex style file: srcltx.sty

Produces:
  libbitmask.html
  libbitmask.tex
  libbitmask.txt
  libbitmask.pdf

Using Leo:
  http://webpages.charter.net/edreamleo/front.html

reStructuredText Markup Specification
  http://docutils.sourceforge.net/docs/ref/rst/restructuredtext.html

Invoke Leo on the libbitmask.leo file:
  leo libbitmask.leo

In leo, do:
    1) Make desired edits or changes
    2) Type control-S to save
    3) Select "@rst libbitmask.tex" line near top of document
    3) Change filename from "libbitmask.tex" to "libbitmask.html"
    4) Menu [Edit/Write Restructured Text] to write libbitmask.html
    5) Change filename from "libbitmask.html" to "libbitmask.tex"
    6) Menu [Edit/Write Restructured Text] to write libbitmask.tex
    7) Quit

In shell, invoke 'make -f Makefile.doc ' to generate
    libbitmask.tex ==> libbitmask.pdf
    libbitmask.html ==> libbitmask.txt

Leo produces both html and LaTeX format, using the above steps.

The main tool for getting from .tex to .pdf is pdflatex, though some
custom auxilliary sed scripts and such in the Makefile.doc help fix
up some details.

The main tool for getting from .html to .txt is lynx -dump.
