From 8afae8832dc767f248084c5127668dcbef689a20 Mon Sep 17 00:00:00 2001
From: mkdocs-mike <mkdocs-mike@nowhere.tld>
Date: Tue, 1 Oct 2024 14:35:26 +0000
Subject: [PATCH] Deployed ed3ce6f to wip with MkDocs 1.6.1 and mike 1.1.2

---
 wip/formats/index.html |   2 ++
 wip/sitemap.xml.gz     | Bin 127 -> 127 bytes
 2 files changed, 2 insertions(+)

diff --git a/wip/formats/index.html b/wip/formats/index.html
index 7d740f0d..e166cd98 100644
--- a/wip/formats/index.html
+++ b/wip/formats/index.html
@@ -619,6 +619,8 @@ <h2 id="miniocr">MiniOCR</h2>
 encode a word with the default form <code>clistrias</code> and two alternatives <code>christmas</code> and <code>christrias</code>:</p>
 <div class="highlight"><pre><span></span><code><a id="__codelineno-1-1" name="__codelineno-1-1" href="#__codelineno-1-1"></a><span class="nt">&lt;w</span><span class="w"> </span><span class="na">x=</span><span class="s">&quot;50 50 100 100&quot;</span><span class="nt">&gt;</span>clistrias⇿christmas⇿christrias<span class="nt">&lt;/w&gt;</span>
 </code></pre></div>
+<p>A command-line tool to convert from ALTO and hOCR to MiniOCR is provided in
+<a href="https://github.com/dbmdz/solr-ocrhighlighting/blob/main/util/miniocr.py"><code>util/miniocr.py</code></a>.</p>
 <p><strong>Block type mapping:</strong></p>
 <table>
 <thead>
diff --git a/wip/sitemap.xml.gz b/wip/sitemap.xml.gz
index b36706df582b7710ac9e211449b4a906cadefeaa..ad87d6f156d25a3b1d7a1103b2b0f6a9377fbce7 100644
GIT binary patch
delta 13
Ucmb=gXP58h;ApV^J(0Zv03DtLh5!Hn

delta 13
Ucmb=gXP58h;9z+5b0T{M03HDZvj6}9