File: docs.patch

package info (click to toggle)
petsc 3.24.1%2Bdfsg1-1exp1
  • links: PTS, VCS
  • area: main
  • in suites: experimental
  • size: 524,004 kB
  • sloc: ansic: 762,842; cpp: 52,564; python: 39,546; f90: 17,688; javascript: 3,493; makefile: 3,206; sh: 1,508; xml: 619; objc: 445; java: 13; csh: 1
file content (25 lines) | stat: -rw-r--r-- 1,660 bytes parent folder | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
A few minor Debian customizations of the HTML PETSc documentation.
Remove links to non-free PDF files.

Index: petsc/docs/faq/index.html
===================================================================
--- petsc.orig/docs/faq/index.html	2025-11-05 12:08:14.658449630 +0100
+++ petsc/docs/faq/index.html	2025-11-05 12:08:14.653015422 +0100
@@ -905,8 +905,8 @@
 <section id="the-petsc-distribution-is-so-large-how-can-i-reduce-my-disk-space-usage">
 <h3><a class="toc-backref" href="#table-of-contents" role="doc-backlink">The PETSc distribution is SO Large. How can I reduce my disk space usage?</a><a class="headerlink" href="#the-petsc-distribution-is-so-large-how-can-i-reduce-my-disk-space-usage" title="Link to this heading">#</a></h3>
 <ol class="arabic simple">
-<li><p>The PETSc users manual is provided in PDF format at <code class="docutils notranslate"><span class="pre">$PETSC_DIR/manual.pdf</span></code>. You
-can delete this.</p></li>
+<li><p>The PETSc users manual is provided in PDF format at <a class="reference external" href="https://petsc.org/release/manual/manual.pdf">
+<span class="std std-ref">https://petsc.org/release/manual/manual.pdf</span></a>.</p></li>
 <li><p>The PETSc test suite contains sample output for many of the examples. These are
 contained in the PETSc directories <code class="docutils notranslate"><span class="pre">$PETSC_DIR/src/*/tutorials/output</span></code> and
 <code class="docutils notranslate"><span class="pre">$PETSC_DIR/src/*/tests/output</span></code>. Once you have run the test examples, you may remove
@@ -2810,4 +2810,4 @@
 
   </footer>
   </body>
-</html>
\ No newline at end of file
+</html>