Adding download link for PDF

diff --git a/org.eclipse.rmf.documentation/build.xml b/org.eclipse.rmf.documentation/build.xml
index d93a788..524ff18 100644
--- a/org.eclipse.rmf.documentation/build.xml
+++ b/org.eclipse.rmf.documentation/build.xml

@@ -21,6 +21,7 @@
             <arg value="html,3,next,frames"/>
         </exec>
       <antcall target="tweak-css" />
+      <antcall target="tweak-html" />
     </target>
 
     <target name="tweak-css">
@@ -30,6 +31,13 @@
 	value="body#tex4ht-menu {white-space: nowrap; background-color:#eee;}"/>
     </target>
 
+    <target name="tweak-html">
+      <replace
+	file="${basedir}/build/rmf-latex/main2.html" 
+	token="&lt;/body>&lt;/html>" 
+	value="&lt;br/>&lt;br/>&lt;a href='main.pdf'>Download as PDF&lt;/a>&lt;/body>&lt;/html>"/>
+    </target>
+
     <target name="generate-pdf">
         <!-- Needs to run twice to get cross-references right -->
         <exec executable="pdflatex" dir="${basedir}/build/rmf-latex"><arg value="main"/></exec>