Recipe for producing various formats of the libcpuset 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: libcpuset.leo
  The makefile: Makefile.doc
  A little patch: libcpuset.patch
  Latex style file: srcltx.sty

Produces:
  libcpuset.html
  libcpuset.tex
  libcpuset.txt
  libcpuset.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 libcpuset.leo file:
  leo libcpuset.leo

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

In shell, invoke 'make -f Makefile.doc ' to generate
    libcpuset.tex ==> libcpuset.pdf
    libcpuset.html ==> libcpuset.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.
