Mercurial > hgrepos > Python2 > PyMuPDF
comparison mupdf-source/scripts/syncdocs.sh @ 3:2c135c81b16c
MERGE: upstream PyMuPDF 1.26.4 with MuPDF 1.26.7
| author | Franz Glasner <fzglas.hg@dom66.de> |
|---|---|
| date | Mon, 15 Sep 2025 11:44:09 +0200 |
| parents | b50eed0cc0ef |
| children |
comparison
equal
deleted
inserted
replaced
| 0:6015a75abc2d | 3:2c135c81b16c |
|---|---|
| 1 INPUT=docs | |
| 2 OUTPUT=../web/mupdf.com/docs | |
| 3 | |
| 4 for I in $(find $INPUT/examples -type f) | |
| 5 do | |
| 6 B=$(echo $I | sed s,$INPUT/,,) | |
| 7 O=$OUTPUT/$B | |
| 8 cp $I $O | |
| 9 done | |
| 10 | |
| 11 for I in $(find $INPUT -name '*.html') | |
| 12 do | |
| 13 B=$(echo $I | sed s,$INPUT/,,) | |
| 14 O=$OUTPUT/$B | |
| 15 | |
| 16 TITLE=$(cat $I | grep '<title>' | sed 's,</*title>,,g') | |
| 17 | |
| 18 ROOT=$(realpath --relative-to=$(dirname $I) $PWD) | |
| 19 | |
| 20 echo Processing $O "($TITLE)" | |
| 21 | |
| 22 sed '/<article>/,/<\/article>/p;d' < $I > temp.body | |
| 23 | |
| 24 cat >temp.head <<EOF | |
| 25 <!DOCTYPE html> | |
| 26 <html lang="en"> | |
| 27 <head> | |
| 28 <title>$TITLE</title> | |
| 29 <meta name="description" content="MuPDF - the lightweight PDF, XPS, and E-book viewer"> | |
| 30 <meta charset="UTF-8"> | |
| 31 <meta name="format-detection" content="telephone=no"> | |
| 32 <meta name="msapplication-tap-highlight" content="no"> | |
| 33 <meta name="viewport" content="user-scalable=yes, initial-scale=1, width=device-width"> | |
| 34 <link rel="stylesheet" type="text/css" href="$ROOT/css/default.css"> | |
| 35 <link href="https://fonts.googleapis.com/css?family=Source+Sans+Pro:200,200i,300,300i,400,400i,600,600i,700,700i,900,900i" rel="stylesheet"> | |
| 36 <link rel="shortcut icon" href="$ROOT/images/favicon.png"> | |
| 37 </head> | |
| 38 <body data-value="$ROOT/"> | |
| 39 <header> | |
| 40 <div id="headerAssets" class="assets"></div> | |
| 41 <nav data-value="nav-index-2"></nav> | |
| 42 <noscript><code class="standout nojs"></code></noscript> | |
| 43 </header> | |
| 44 <main> | |
| 45 <div class="banner" role="heading" aria-level="1"> | |
| 46 <h1>$TITLE</h1> | |
| 47 </div> | |
| 48 <div class="outer"> | |
| 49 <div class="inner"> | |
| 50 <!--- DO NOT EDIT. THIS FILE IS AUTOMATICALLY GENERATED. --> | |
| 51 EOF | |
| 52 | |
| 53 cat >temp.foot <<EOF | |
| 54 </div> | |
| 55 </div> | |
| 56 <footer></footer> | |
| 57 </main> | |
| 58 <script type="text/javascript" src="$ROOT/js/app.js"></script> | |
| 59 </body> | |
| 60 </html> | |
| 61 EOF | |
| 62 | |
| 63 cat temp.head temp.body temp.foot > $O | |
| 64 done |