(html): New target.
(Protocol-A.dvi): New target.
(Protocol-A.pdf): Use texi2dvi --pdf instead of texi2pdf.
(protocol-a.texi): New target.  Major hack.  Expand a few of the
	macros so that texinfo.tex can cope with the rest.
(protocol-a/index.html): New target.
(.texi.notab): Use automake comments instead of /bin/sh comments.
(update-www): Also depend on protocol-a/index.html, Protocol-A.dvi
	and Protocol-A.pdf, and install them.
(check): Also depend on the targets pdf and dvi.