A few minor Debian customizations of the HTML PETSc documentation.
Remove links to non-free PDF files.

Index: petsc/docs/bugreporting.html
===================================================================
--- petsc.orig/docs/bugreporting.html
+++ petsc/docs/bugreporting.html
@@ -60,7 +60,7 @@
 
         <li>
           PETSc Version: (run PETSc program with -v, or look in
-          <a href="petscversion.h">include/petscversion.h</a>)
+          <a href="/usr/lib/petscdir/3.3/include/petscversion.h">include/petscversion.h</a>)
         </li>
 
         <li>MPI implementation: (e.g., MPICH, LAM, IBM, SGI)</li>
Index: petsc/docs/index.html
===================================================================
--- petsc.orig/docs/index.html
+++ petsc/docs/index.html
@@ -24,8 +24,8 @@
       </p>
 
       <ul>
-        <li><b>PETSc users manual</b> - <a href="manual.pdf">pdf (fully searchable with hyperlinks)</a></li>
-        <li><b>TAO users manual</b> - <a href="tao_manual.pdf">pdf (fully searchable with hyperlinks)</a></li>
+        <li><b>PETSc users manual</b> - <a href="http://www.mcs.anl.gov/petsc/petsc-current/docs/manual.pdf">pdf (fully searchable with hyperlinks)</a></li>
+        <li><b>TAO users manual</b> - <a href="http://www.mcs.anl.gov/petsc/petsc-current/docs/tao_manual.pdf">pdf (fully searchable with hyperlinks)</a></li>
         <li><a href="manualpages/help.html">Index</a> of all help topics</li>
         <li><a href="manualpages/singleindex.html">Index</a> of all manual pages</li>
         <li><a href="manualpages/Sys/UsingFortran.html">Strategies</a> for using PETSc with Fortran</li>
@@ -145,6 +145,7 @@
         <li><a href="codemanagement.html">Code Management</a> - hints for efficient management of large-scale application codes</li>
         <li><a href="faq.html">FAQ</a> - frequently asked questions about PETSc</li>
         <li><a href="license.html">License</a> - statement of the PETSc copyright</li>
+	<li><a href="../README.Debian.gz">README.Debian</a> - a description of the PETSc Debian package</li>
       </ul>
 
     </div>
Index: petsc/docs/faq.html
===================================================================
--- petsc.orig/docs/faq.html
+++ petsc/docs/faq.html
@@ -474,21 +474,20 @@ See http://www.mcs.anl.gov/petsc/documen
 
       <ol>
         <li>
-          The directory ${PETSC_DIR}/docs contains a set of HTML manual pages in
+          The directory /usr/share/doc/petsc3.9-doc contains a set of HTML manual pages in
           for use with a browser. You can delete these pages to save some disk space.
         </li>
 
         <li>
           The PETSc users manual is provided in PDF in
-          ${PETSC_DIR}/docs/manual.pdf. You can delete this.
+          <a href="http://www.mcs.anl.gov/petsc/petsc-current/docs/manual.pdf">manual.pdf</a>.
         </li>
 
         <li>
           The PETSc test suite contains sample output for many of the examples.
           These are contained in the PETSc directories
-          ${PETSC_DIR}/src/*/examples/tutorials/output and
-          ${PETSC_DIR}/src/*/examples/tests/output. Once you have run the test
-          examples, you may remove all of these directories to save some disk space.
+          /usr/lib/petscdir/petsc*/*/share/petsc/examples/src/*/*/examples/tutorials/output and
+          examples/tests/output.
         </li>
 
         <li>