doc: Try a different trick for asciidoc build issues

asciidoc creates temp files in the current directory using basename of
the source filename. Doing html and pdf builds in parallel causes
chaos as a result. Fix this by having the pdf target build both
serially, and then have the html target just depend on the pdf target.

Signed-off-by: Keith Packard <keithp@keithp.com>