`make all` now really does make both HTML and PDF.
`make all` now really does make both HTML and PDF.

The default recipe, `all`, now really does make the appropriately marked
documents into both HTML and PDF. `make pdf` and `make html` are still
available, to filter them further.

slakkenhuis/snel,slakkenhuis/snel