Deployed c5651b4 to develop in ru/ with MkDocs 1.5.3 and mike 2.0.0

ru/develop/CHANGELOG/index.html

@@ -602,6 +602,15 @@
     </label>
     <ul class="md-nav__list" data-md-component="toc" data-md-scrollfix>
 
+        <li class="md-nav__item">
+  <a href="#v072-2023-12-12" class="md-nav__link">
+    <span class="md-ellipsis">
+      v0.7.2 — 2023-12-12
+    </span>
+  </a>
+
+</li>
+
         <li class="md-nav__item">
   <a href="#v071-2023-12-08" class="md-nav__link">
     <span class="md-ellipsis">
@@ -1798,6 +1807,23 @@ <h1 id="changelog-for-rzk">Changelog for <code>rzk</code><a class="headerlink" h
 <p>The format is based on <a href="https://keepachangelog.com/en/1.0.0/">Keep a Changelog</a>,
 and this project adheres to the
 <a href="https://pvp.haskell.org/">Haskell Package Versioning Policy</a>.</p>
+<h2 id="v072-2023-12-12">v0.7.2 — 2023-12-12<a class="headerlink" href="#v072-2023-12-12" title="Permanent link">&para;</a></h2>
+<p>Fixes:
+- Fixes for <code>rzk format</code>:
+    - Fix extra space after open parens in formatter (see <a href="https://github.com/rzk-lang/rzk/pull/155">#155</a>);
+    - Replace line string content with tokens when checking open parens (see <a href="https://github.com/rzk-lang/rzk/pull/156">#156</a>);
+- Throw an error when <code>rzk.yaml</code>'s <code>include</code> is empty (see <a href="https://github.com/rzk-lang/rzk/pull/154">#154</a>);</p>
+<p>Changes to the Rzk website:
+  - Support multiple languages in the documentation (see <a href="https://github.com/rzk-lang/rzk/pull/150">#150</a>);
+      - English is the default;
+      - Russian documentation is partially translated and is available at <a href="http://rzk-lang.github.io/rzk/ru/">http://rzk-lang.github.io/rzk/ru/</a>;
+  - Add a blog (see <a href="https://github.com/rzk-lang/rzk/pull/153">#153</a> and <a href="https://github.com/rzk-lang/rzk/commit/e4388202cea59531903c4c24b939841b2771ceb7"><code>e438820</code></a>);
+      - The blog is not versioned and is always available at <a href="https://rzk-lang.github.io/rzk/en/blog/">https://rzk-lang.github.io/rzk/en/blog/</a>;
+  - Add a new <a href="https://rzk-lang.github.io/rzk/en/v0.7.2/related/">Other proof assistants for HoTT</a> page (also <a href="https://rzk-lang.github.io/rzk/ru/v0.7.2/related/">in Russian</a>);
+  - Add a new <a href="https://rzk-lang.github.io/rzk/en/v0.7.2/getting-started/dependent-types.rzk/">Introduction to Dependent Types</a> page (also <a href="https://rzk-lang.github.io/rzk/ru/v0.7.2/getting-started/dependent-types.rzk/">in Russian</a>)
+  - Add (default) social cards
+  - Integrate ToC on the left
+  - Use Inria Sans for English, PT Sans for Russian</p>
 <h2 id="v071-2023-12-08">v0.7.1 — 2023-12-08<a class="headerlink" href="#v071-2023-12-08" title="Permanent link">&para;</a></h2>
 <ul>
 <li>Fix default build to include Rzk Language Server (<code>rzk lsp</code>) (see <a href="https://github.com/rzk-lang/rzk/commit/9b78a15c750699afa93c4dab3735c2aa31e6faac"><code>9b78a15</code></a>);</li>