update documentation building instructions
#360 (closed) points out that our documentation is not super easy to follow.
IMO we should not even mention building PDF documentation, as HTML documentation can meet 99% of people's needs.
#360 (closed) points out that our documentation is not super easy to follow.
IMO we should not even mention building PDF documentation, as HTML documentation can meet 99% of people's needs.