Skip to content

Commit c2b0182

Browse files
makspllmakspll
committed
deploy: 9b8ad29 
1 parent 30c5338 commit c2b0182

File tree

4,528 files changed

+54533
-42432
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

4,528 files changed

+54533
-42432
lines changed

‎404.html‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -217,6 +217,8 @@ <h1 id="document-not-found-404"><a class="header" href="#document-not-found-404"
217217

218218
<!-- Custom JS scripts -->
219219
<script src="multi-code-block.js"></script>
220+
<script src="mermaid.min.js"></script>
221+
<script src="mermaid-init.js"></script>
220222

221223

222224

‎Development/AddingLanguages/evaluating-feasibility.html‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -264,6 +264,8 @@ <h2 id="interoperability-with-rust"><a class="header" href="#interoperability-wi
264264

265265
<!-- Custom JS scripts -->
266266
<script src="../../multi-code-block.js"></script>
267+
<script src="../../mermaid.min.js"></script>
268+
<script src="../../mermaid-init.js"></script>
267269

268270

269271

‎Development/AddingLanguages/introduction.html‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -231,6 +231,8 @@ <h1 id="adding-new-languages-to-bms"><a class="header" href="#adding-new-languag
231231

232232
<!-- Custom JS scripts -->
233233
<script src="../../multi-code-block.js"></script>
234+
<script src="../../mermaid.min.js"></script>
235+
<script src="../../mermaid-init.js"></script>
234236

235237

236238

‎Development/AddingLanguages/necessary-features.html‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -272,6 +272,8 @@ <h1 id="necessary-features"><a class="header" href="#necessary-features">Necessa
272272

273273
<!-- Custom JS scripts -->
274274
<script src="../../multi-code-block.js"></script>
275+
<script src="../../mermaid.min.js"></script>
276+
<script src="../../mermaid-init.js"></script>
275277

276278

277279

‎Development/introduction.html‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -233,6 +233,8 @@ <h2 id="contributing"><a class="header" href="#contributing">Contributing</a></h
233233

234234
<!-- Custom JS scripts -->
235235
<script src="../multi-code-block.js"></script>
236+
<script src="../mermaid.min.js"></script>
237+
<script src="../mermaid-init.js"></script>
236238

237239

238240

‎Development/setup.html‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -238,6 +238,8 @@ <h1 id="setup"><a class="header" href="#setup">Setup</a></h1>
238238

239239
<!-- Custom JS scripts -->
240240
<script src="../multi-code-block.js"></script>
241+
<script src="../mermaid.min.js"></script>
242+
<script src="../mermaid-init.js"></script>
241243

242244

243245

‎Examples/introduction.html‎

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -193,7 +193,7 @@ <h1 id="examples"><a class="header" href="#examples">Examples</a></h1>
193193
<i class="fa fa-angle-left"></i>
194194
</a>
195195

196-
<a rel="next prefetch" href="../ReleaseNotes/guides.html" class="mobile-nav-chapters next" title="Next chapter" aria-label="Next chapter" aria-keyshortcuts="Right">
196+
<a rel="next prefetch" href="../ScriptPipeline/pipeline.html" class="mobile-nav-chapters next" title="Next chapter" aria-label="Next chapter" aria-keyshortcuts="Right">
197197
<i class="fa fa-angle-right"></i>
198198
</a>
199199

@@ -207,7 +207,7 @@ <h1 id="examples"><a class="header" href="#examples">Examples</a></h1>
207207
<i class="fa fa-angle-left"></i>
208208
</a>
209209

210-
<a rel="next prefetch" href="../ReleaseNotes/guides.html" class="nav-chapters next" title="Next chapter" aria-label="Next chapter" aria-keyshortcuts="Right">
210+
<a rel="next prefetch" href="../ScriptPipeline/pipeline.html" class="nav-chapters next" title="Next chapter" aria-label="Next chapter" aria-keyshortcuts="Right">
211211
<i class="fa fa-angle-right"></i>
212212
</a>
213213
</nav>
@@ -232,6 +232,8 @@ <h1 id="examples"><a class="header" href="#examples">Examples</a></h1>
232232

233233
<!-- Custom JS scripts -->
234234
<script src="../multi-code-block.js"></script>
235+
<script src="../mermaid.min.js"></script>
236+
<script src="../mermaid-init.js"></script>
235237

236238

237239

‎ReleaseNotes/0.14-to-0.15.html‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -384,6 +384,8 @@ <h3 id="system-builder"><a class="header" href="#system-builder">System Builder<
384384

385385
<!-- Custom JS scripts -->
386386
<script src="../multi-code-block.js"></script>
387+
<script src="../mermaid.min.js"></script>
388+
<script src="../mermaid-init.js"></script>
387389

388390

389391

‎ReleaseNotes/0.15.0.html‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -257,6 +257,8 @@ <h2 id="migration-guide"><a class="header" href="#migration-guide">Migration Gui
257257

258258
<!-- Custom JS scripts -->
259259
<script src="../multi-code-block.js"></script>
260+
<script src="../mermaid.min.js"></script>
261+
<script src="../mermaid-init.js"></script>
260262

261263

262264

‎ReleaseNotes/guides.html‎

Lines changed: 4 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -189,7 +189,7 @@ <h1 id="release-notes"><a class="header" href="#release-notes">Release Notes</a>
189189

190190
<nav class="nav-wrapper" aria-label="Page navigation">
191191
<!-- Mobile navigation buttons -->
192-
<a rel="prev" href="../Examples/introduction.html" class="mobile-nav-chapters previous" title="Previous chapter" aria-label="Previous chapter" aria-keyshortcuts="Left">
192+
<a rel="prev" href="../ScriptPipeline/pipeline.html" class="mobile-nav-chapters previous" title="Previous chapter" aria-label="Previous chapter" aria-keyshortcuts="Left">
193193
<i class="fa fa-angle-left"></i>
194194
</a>
195195

@@ -203,7 +203,7 @@ <h1 id="release-notes"><a class="header" href="#release-notes">Release Notes</a>
203203
</div>
204204

205205
<nav class="nav-wide-wrapper" aria-label="Page navigation">
206-
<a rel="prev" href="../Examples/introduction.html" class="nav-chapters previous" title="Previous chapter" aria-label="Previous chapter" aria-keyshortcuts="Left">
206+
<a rel="prev" href="../ScriptPipeline/pipeline.html" class="nav-chapters previous" title="Previous chapter" aria-label="Previous chapter" aria-keyshortcuts="Left">
207207
<i class="fa fa-angle-left"></i>
208208
</a>
209209

@@ -232,6 +232,8 @@ <h1 id="release-notes"><a class="header" href="#release-notes">Release Notes</a>
232232

233233
<!-- Custom JS scripts -->
234234
<script src="../multi-code-block.js"></script>
235+
<script src="../mermaid.min.js"></script>
236+
<script src="../mermaid-init.js"></script>
235237

236238

237239

0 commit comments

Comments
 (0)