Fix PDF documentation links on website.

documentation/include/documentation.inc:
	As above