Mercurial > hgrepos > Python2 > PyMuPDF

comparison mupdf-source/scripts/syncdocs.sh @ 2:b50eed0cc0ef upstream

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
ADD: MuPDF v1.26.7: the MuPDF source as downloaded by a default build of PyMuPDF 1.26.4. The directory name has changed: no version number in the expanded directory now.
author Franz Glasner <fzglas.hg@dom66.de>
date Mon, 15 Sep 2025 11:43:07 +0200
parents
children
comparison
equal deleted inserted replaced
1:1d09e1dec1d9 2:b50eed0cc0ef
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