Each directory containing a document also has a Makefile. In the directory, run the command make html to build the HTML version and make pdf to build the PDF version.

	Warning
	The PDF production is somewhat fragile right now. It may or may not work.