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	2020-11-07 02:31:34.281177390 +0800
+++ petsc/docs/bugreporting.html	2020-11-07 02:32:11.765429453 +0800
@@ -60,7 +60,7 @@
 
         <li>
           PETSc Version: (run PETSc program with -version, 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	2020-11-07 02:31:34.281177390 +0800
+++ petsc/docs/index.html	2020-11-07 02:31:34.273177335 +0800
@@ -24,8 +24,8 @@
       </p>
 
       <ul>
-        <li><b>PETSc users manual</b> - <a href="manual.pdf">pdf</a>  <a href="https://docs.petsc.org/en/latest/manual">html</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</a>  <a href="https://docs.petsc.org/en/latest/manual">html</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>
@@ -155,6 +155,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	2020-11-07 02:31:34.281177390 +0800
+++ petsc/docs/faq.html	2020-11-07 02:31:34.273177335 +0800
@@ -488,20 +488,20 @@
 
       <ol>
         <li>
-          The directory ${PETSC_DIR}/docs contains a set of HTML manual pages in
+          The directory /usr/share/doc/petsc3.14-doc/docs 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/*/tutorials/output and
-          ${PETSC_DIR}/src/*/tests/output. Once you have run the test
+          /usr/share/petsc/3.14/share/petsc/examples/src/*/*/examples/tutorials/output and
+          /usr/share/petsc/3.14/share/petsc/examples/src/*/*/examples/tests/output. Once you have run the test
           examples, you may remove all of these directories to save some disk space.
         </li>
 
Index: petsc/docs/sphinx_docs/html/index.html
===================================================================
--- petsc.orig/docs/sphinx_docs/html/index.html	2020-11-07 02:31:34.281177390 +0800
+++ petsc/docs/sphinx_docs/html/index.html	2020-11-07 02:31:34.277177362 +0800
@@ -76,7 +76,7 @@
 <p class="admonition-title">Important</p>
 <p>The PETSc docs are currently in transition,
 and different pieces “live” in two different places. In addition to on this page,
-much of the documentation is found <a class="reference external" href="https://www.mcs.anl.gov/petsc/documentation/index.html">here</a>.</p>
+much of the documentation is found locally <a class="reference external" href="file:../docs/index.html">here</a> (upstream <a class="reference external" href="https://www.mcs.anl.gov/petsc/documentation/index.html">here</a>).</p>
 </div>
 <div class="toctree-wrapper compound">
 <ul>