Remove more pages per Alistair's request.

Change-Id: Ieb966898818033fce31038981741a5afb13966c9
Change output name to avoid confusing apache.

On Ubuntu at least, there seems to be something which converts a
request for /docs into /docs.pdf, just by the file being there.
This causes issues when trying to also use this branch to view the
website, so avoid the nameclash.

Change-Id: I803101f826ab12a2d3140b32e946989118f25e52