Add HTML and PDF versions of manual to distribution.