File: docs.patch

package info (click to toggle)
petsc 3.23.1%2Bdfsg1-1exp1
  • links: PTS, VCS
  • area: main
  • in suites: experimental
  • size: 515,576 kB
  • sloc: ansic: 751,607; cpp: 51,542; python: 38,598; f90: 17,352; javascript: 3,493; makefile: 3,157; sh: 1,502; xml: 619; objc: 445; java: 13; csh: 1
file content (25 lines) | stat: -rw-r--r-- 1,660 bytes parent folder | download | duplicates (2)
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-03-31 12:17:43.499641154 +0200
+++ petsc/docs/faq/index.html	2025-03-31 12:17:43.495641028 +0200
@@ -909,8 +909,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
@@ -2814,4 +2814,4 @@
 
   </footer>
   </body>
-</html>
\ No newline at end of file
+</html>