For some reason, using git to get the source leaves my with an empty doc
directory. And all I can find on the web site is HTML pages with everything on
different pages.
I'd like either TXT or PDF, or an easy package of the HTML files so I can
convert them to some format that is easy to print.
Thanks.
- Derrik