Skip to content

Commit 6c84ad2

Browse files
github-actions[bot]github-actions[bot]
committed
Publish docs @ 11243c3 
1 parent 80b86a5 commit 6c84ad2

File tree

102 files changed

+860
-128
lines changed

Some content is hidden

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

102 files changed

+860
-128
lines changed

‎404.html‎

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -670,6 +670,12 @@
670670
</li>
671671
</ul>
672672
</li>
673+
<li class="sidebar-item">
674+
<div class="sidebar-item-container">
675+
<a href="/docs/faq/index.html" class="sidebar-item-text sidebar-link">
676+
<span class="menu-text">Frequently Asked Questions</span></a>
677+
</div>
678+
</li>
673679
</ul>
674680
</div>
675681
</nav>

‎changelog.html‎

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -705,6 +705,12 @@
705705
</li>
706706
</ul>
707707
</li>
708+
<li class="sidebar-item">
709+
<div class="sidebar-item-container">
710+
<a href="./faq/index.html" class="sidebar-item-text sidebar-link">
711+
<span class="menu-text">Frequently Asked Questions</span></a>
712+
</div>
713+
</li>
708714
</ul>
709715
</div>
710716
</nav>

‎core-functionality/index.html‎

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -739,6 +739,12 @@
739739
</li>
740740
</ul>
741741
</li>
742+
<li class="sidebar-item">
743+
<div class="sidebar-item-container">
744+
<a href="../faq/index.html" class="sidebar-item-text sidebar-link">
745+
<span class="menu-text">Frequently Asked Questions</span></a>
746+
</div>
747+
</li>
742748
</ul>
743749
</div>
744750
</nav>

‎developers/compiler/design-overview/index.html‎

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -707,6 +707,12 @@
707707
</li>
708708
</ul>
709709
</li>
710+
<li class="sidebar-item">
711+
<div class="sidebar-item-container">
712+
<a href="../../../faq/index.html" class="sidebar-item-text sidebar-link">
713+
<span class="menu-text">Frequently Asked Questions</span></a>
714+
</div>
715+
</li>
710716
</ul>
711717
</div>
712718
</nav>

‎developers/compiler/minituring-compiler/index.html‎

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -736,6 +736,12 @@
736736
</li>
737737
</ul>
738738
</li>
739+
<li class="sidebar-item">
740+
<div class="sidebar-item-container">
741+
<a href="../../../faq/index.html" class="sidebar-item-text sidebar-link">
742+
<span class="menu-text">Frequently Asked Questions</span></a>
743+
</div>
744+
</li>
739745
</ul>
740746
</div>
741747
</nav>

‎developers/compiler/minituring-contexts/index.html‎

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -707,6 +707,12 @@
707707
</li>
708708
</ul>
709709
</li>
710+
<li class="sidebar-item">
711+
<div class="sidebar-item-container">
712+
<a href="../../../faq/index.html" class="sidebar-item-text sidebar-link">
713+
<span class="menu-text">Frequently Asked Questions</span></a>
714+
</div>
715+
</li>
710716
</ul>
711717
</div>
712718
</nav>

‎developers/compiler/model-manual/index.html‎

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -707,6 +707,12 @@
707707
</li>
708708
</ul>
709709
</li>
710+
<li class="sidebar-item">
711+
<div class="sidebar-item-container">
712+
<a href="../../../faq/index.html" class="sidebar-item-text sidebar-link">
713+
<span class="menu-text">Frequently Asked Questions</span></a>
714+
</div>
715+
</li>
710716
</ul>
711717
</div>
712718
</nav>

‎developers/contexts/submodel-condition/index.html‎

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -707,6 +707,12 @@
707707
</li>
708708
</ul>
709709
</li>
710+
<li class="sidebar-item">
711+
<div class="sidebar-item-container">
712+
<a href="../../../faq/index.html" class="sidebar-item-text sidebar-link">
713+
<span class="menu-text">Frequently Asked Questions</span></a>
714+
</div>
715+
</li>
710716
</ul>
711717
</div>
712718
</nav>

‎developers/contributing/index.html‎

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -707,6 +707,12 @@
707707
</li>
708708
</ul>
709709
</li>
710+
<li class="sidebar-item">
711+
<div class="sidebar-item-container">
712+
<a href="../../faq/index.html" class="sidebar-item-text sidebar-link">
713+
<span class="menu-text">Frequently Asked Questions</span></a>
714+
</div>
715+
</li>
710716
</ul>
711717
</div>
712718
</nav>

‎developers/inference/abstractmcmc-interface/index.html‎

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -705,6 +705,12 @@
705705
</li>
706706
</ul>
707707
</li>
708+
<li class="sidebar-item">
709+
<div class="sidebar-item-container">
710+
<a href="../../../faq/index.html" class="sidebar-item-text sidebar-link">
711+
<span class="menu-text">Frequently Asked Questions</span></a>
712+
</div>
713+
</li>
708714
</ul>
709715
</div>
710716
</nav>

0 commit comments

Comments
 (0)