Link to /doc from main site; link to language report PDF from /doc

frontend/api.js

@@ -22,8 +22,7 @@ function makeGeneralHelp(query) {
 		'<a href="http://clean.cs.ru.nl/index.php?title=Special:Search&fulltext=Search&search=' + encodeURIComponent(query) + '" target="_blank">' +
 		'search on the Clean wiki</a>.<br/>' +
 		'For explanations about Clean concepts and syntax, see the ' +
-		'<a href="http://clean.cs.ru.nl/download/doc/CleanLangRep.2.2.pdf" target="_blank">' +
-		'Clean language report</a>.';
+		'<a href="/doc" target="_blank">Clean language report</a>.';
 }
 
 function toggleLibSelection(className) {

frontend/doc/index.php

@@ -50,7 +50,9 @@
 		<?php include_once('contents.php'); ?>
 		<hr/>
 		The content of the language report is copyright &copy; 1987-2001, Hilt B.V., The Netherlands.
-		See the <a href="#CleanRep.2.2_2.htm;jump=_Toc311797972">copyright notice</a>.
+		See the <a style="padding-left:0;" href="#CleanRep.2.2_2.htm;jump=_Toc311797972">copyright notice</a>.
+		<hr/>
+		Download the language report as a <a style="padding-left:0;" href="http://clean.cs.ru.nl/download/doc/CleanLangRep.2.2.pdf">PDF</a>.
 		<br/>
 	</div><div id="viewer">
 		<?php include_once('src.php'); ?>