Skip to content

Commit c063f7b

Browse files
committed
Deploying to gh-pages from @ f857944 🚀
1 parent e34332d commit c063f7b

18 files changed

Lines changed: 273 additions & 18 deletions

File tree

dev/wodoc/Wodoc/Assemble/Parts/index.html

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -97,6 +97,7 @@ <h3>Manual</h3>
9797
<li class="ml3" data-wodoc-page="overview"><a href="../../../../wodoc/overview.html">How it works</a></li>
9898
<li class="ml3" data-wodoc-page="directives"><a href="../../../../wodoc/directives.html">Directives</a></li>
9999
<li class="ml3" data-wodoc-page="authoring"><a href="../../../../wodoc/authoring.html">Authoring</a></li>
100+
<li class="ml3" data-wodoc-page="config"><a href="../../../../wodoc/config.html">Configuration</a></li>
100101
<li class="ml3" data-wodoc-page="commands"><a href="../../../../wodoc/commands.html">Commands</a></li>
101102
</ul>
102103
</nav>
@@ -133,6 +134,7 @@ <h3>Manual</h3>
133134
<li class="ml3" data-wodoc-page="overview"><a href="../../../../wodoc/overview.html">How it works</a></li>
134135
<li class="ml3" data-wodoc-page="directives"><a href="../../../../wodoc/directives.html">Directives</a></li>
135136
<li class="ml3" data-wodoc-page="authoring"><a href="../../../../wodoc/authoring.html">Authoring</a></li>
137+
<li class="ml3" data-wodoc-page="config"><a href="../../../../wodoc/config.html">Configuration</a></li>
136138
<li class="ml3" data-wodoc-page="commands"><a href="../../../../wodoc/commands.html">Commands</a></li>
137139
</ul>
138140
</nav>

dev/wodoc/Wodoc/Assemble/index.html

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -97,6 +97,7 @@ <h3>Manual</h3>
9797
<li class="ml3" data-wodoc-page="overview"><a href="../../../wodoc/overview.html">How it works</a></li>
9898
<li class="ml3" data-wodoc-page="directives"><a href="../../../wodoc/directives.html">Directives</a></li>
9999
<li class="ml3" data-wodoc-page="authoring"><a href="../../../wodoc/authoring.html">Authoring</a></li>
100+
<li class="ml3" data-wodoc-page="config"><a href="../../../wodoc/config.html">Configuration</a></li>
100101
<li class="ml3" data-wodoc-page="commands"><a href="../../../wodoc/commands.html">Commands</a></li>
101102
</ul>
102103
</nav>
@@ -133,6 +134,7 @@ <h3>Manual</h3>
133134
<li class="ml3" data-wodoc-page="overview"><a href="../../../wodoc/overview.html">How it works</a></li>
134135
<li class="ml3" data-wodoc-page="directives"><a href="../../../wodoc/directives.html">Directives</a></li>
135136
<li class="ml3" data-wodoc-page="authoring"><a href="../../../wodoc/authoring.html">Authoring</a></li>
137+
<li class="ml3" data-wodoc-page="config"><a href="../../../wodoc/config.html">Configuration</a></li>
136138
<li class="ml3" data-wodoc-page="commands"><a href="../../../wodoc/commands.html">Commands</a></li>
137139
</ul>
138140
</nav>

dev/wodoc/Wodoc/Build/index.html

Lines changed: 3 additions & 1 deletion
Large diffs are not rendered by default.

dev/wodoc/Wodoc/Config/index.html

Lines changed: 3 additions & 1 deletion
Large diffs are not rendered by default.

dev/wodoc/Wodoc/Convert/index.html

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -97,6 +97,7 @@ <h3>Manual</h3>
9797
<li class="ml3" data-wodoc-page="overview"><a href="../../../wodoc/overview.html">How it works</a></li>
9898
<li class="ml3" data-wodoc-page="directives"><a href="../../../wodoc/directives.html">Directives</a></li>
9999
<li class="ml3" data-wodoc-page="authoring"><a href="../../../wodoc/authoring.html">Authoring</a></li>
100+
<li class="ml3" data-wodoc-page="config"><a href="../../../wodoc/config.html">Configuration</a></li>
100101
<li class="ml3" data-wodoc-page="commands"><a href="../../../wodoc/commands.html">Commands</a></li>
101102
</ul>
102103
</nav>
@@ -133,6 +134,7 @@ <h3>Manual</h3>
133134
<li class="ml3" data-wodoc-page="overview"><a href="../../../wodoc/overview.html">How it works</a></li>
134135
<li class="ml3" data-wodoc-page="directives"><a href="../../../wodoc/directives.html">Directives</a></li>
135136
<li class="ml3" data-wodoc-page="authoring"><a href="../../../wodoc/authoring.html">Authoring</a></li>
137+
<li class="ml3" data-wodoc-page="config"><a href="../../../wodoc/config.html">Configuration</a></li>
136138
<li class="ml3" data-wodoc-page="commands"><a href="../../../wodoc/commands.html">Commands</a></li>
137139
</ul>
138140
</nav>

dev/wodoc/Wodoc/Nav/index.html

Lines changed: 5 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -97,6 +97,7 @@ <h3>Manual</h3>
9797
<li class="ml3" data-wodoc-page="overview"><a href="../../../wodoc/overview.html">How it works</a></li>
9898
<li class="ml3" data-wodoc-page="directives"><a href="../../../wodoc/directives.html">Directives</a></li>
9999
<li class="ml3" data-wodoc-page="authoring"><a href="../../../wodoc/authoring.html">Authoring</a></li>
100+
<li class="ml3" data-wodoc-page="config"><a href="../../../wodoc/config.html">Configuration</a></li>
100101
<li class="ml3" data-wodoc-page="commands"><a href="../../../wodoc/commands.html">Commands</a></li>
101102
</ul>
102103
</nav>
@@ -133,6 +134,7 @@ <h3>Manual</h3>
133134
<li class="ml3" data-wodoc-page="overview"><a href="../../../wodoc/overview.html">How it works</a></li>
134135
<li class="ml3" data-wodoc-page="directives"><a href="../../../wodoc/directives.html">Directives</a></li>
135136
<li class="ml3" data-wodoc-page="authoring"><a href="../../../wodoc/authoring.html">Authoring</a></li>
137+
<li class="ml3" data-wodoc-page="config"><a href="../../../wodoc/config.html">Configuration</a></li>
136138
<li class="ml3" data-wodoc-page="commands"><a href="../../../wodoc/commands.html">Commands</a></li>
137139
</ul>
138140
</nav>
@@ -145,21 +147,15 @@ <h3>API</h3>
145147

146148
</nav>
147149
<article class="rightcol">
148-
<header class="odoc-preamble"><h1>Module <code><span>Wodoc.Nav</span></code></h1><p>Build a manual's left-column navigation from its wikicréole menu.</p><p>The OCaml port of the per-project <code>gen-manual-nav.py</code> scripts: one implementation, the per-project differences (page location, API landing map, heading) given as options.</p></header>
149-
<div class="odoc-content"><div class="odoc-spec"><div class="spec value anchored" id="val-manual"><code><span><span class="keyword">val</span> manual :
150-
<span><span class="optlabel">?pkg</span>:string <span class="arrow">&#45;&gt;</span></span>
151-
<span><span class="optlabel">?heading</span>:string <span class="arrow">&#45;&gt;</span></span>
152-
<span><span class="optlabel">?api_map</span>:<span><span>(string * string)</span> list</span> <span class="arrow">&#45;&gt;</span></span>
153-
<span><span class="label">base</span>:string <span class="arrow">&#45;&gt;</span></span>
154-
<span>string <span class="arrow">&#45;&gt;</span></span>
155-
string</span></code></div><div class="spec-doc"><p><code>manual ~base menu</code> renders the <code>&lt;nav&gt;</code> for the wiki menu source <code>menu</code>.</p><ul><li><code>pkg</code> (default <code>&quot;&quot;</code>): package dir holding the manual pages; <code>&quot;&quot;</code> puts a <code>[page|T]</code> link at <code>&lt;base&gt;/&lt;page&gt;.html</code>, otherwise <code>&lt;base&gt;/&lt;pkg&gt;/&lt;page&gt;.html</code>.</li><li><code>heading</code> (default <code>&quot;Manual&quot;</code>): the <code>&lt;h3&gt;</code> label.</li><li><code>api_map</code> (default <code>[]</code>): subproject -&gt; path (relative to <code>base</code>) for <code>&lt;&lt;a_api&gt;&gt;</code> landings; an unknown subproject falls back to <code>&lt;subproject&gt;/index.html</code>.</li></ul></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-api"><code><span><span class="keyword">val</span> api :
150+
<header class="odoc-preamble"><h1>Module <code><span>Wodoc.Nav</span></code></h1><p>Build a project's API module navigation from a curated odoc index.</p><p>The manual's own left navigation is no longer generated from a wikicréole menu: it is described declaratively in the project's <code>doc/wodoc</code> config (the <code>(nav …)</code> stanza) and rendered by <a href="../Build/index.html"><code>Build</code></a>. This module only renders the API module list, from a curated odoc <code>.indexdoc</code>.</p></header>
151+
<div class="odoc-content"><div class="odoc-spec"><div class="spec value anchored" id="val-api"><code><span><span class="keyword">val</span> api :
156152
<span><span class="optlabel">?wrapper</span>:string <span class="arrow">&#45;&gt;</span></span>
157153
<span><span class="optlabel">?heading</span>:string <span class="arrow">&#45;&gt;</span></span>
158154
<span><span class="optlabel">?skip</span>:<span>string list</span> <span class="arrow">&#45;&gt;</span></span>
159155
<span><span class="label">base</span>:string <span class="arrow">&#45;&gt;</span></span>
160156
<span><span class="label">lib</span>:string <span class="arrow">&#45;&gt;</span></span>
161157
<span>string <span class="arrow">&#45;&gt;</span></span>
162-
string</span></code></div><div class="spec-doc"><p><code>api ~base ~lib indexdoc</code> renders the API module <code>&lt;nav&gt;</code> from a curated odoc index (<code>{N title}</code> sections + <code>{!modules: …}</code> lists). The OCaml port of <code>gen-nav.py</code>. A module path <code>A.B.C</code> maps to <code>&lt;base&gt;/&lt;lib&gt;/[&lt;wrapper&gt;/]A/B/C/index.html</code>. <code>skip</code> lists section titles to drop (page titles, <code>Index</code>); <code>heading</code> is the <code>&lt;h3&gt;</code> (default <code>&quot;Modules&quot;</code>).</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-anchors"><code><span><span class="keyword">val</span> anchors : <span><span class="optlabel">?heading</span>:string <span class="arrow">&#45;&gt;</span></span> <span><span class="label">base</span>:string <span class="arrow">&#45;&gt;</span></span> <span>string <span class="arrow">&#45;&gt;</span></span> string</span></code></div><div class="spec-doc"><p><code>anchors ~base menu</code> renders a single-page manual's <code>&lt;nav&gt;</code> from a wiki menu of in-page anchor links <code>[[#anchor|Title]]</code> (-&gt; <code>&lt;base&gt;/index.html#anchor</code>), cleaning <code>{{{…}}}</code>/<code>##…##</code> markup from titles. The OCaml port of <code>gen-anchor-nav.py</code>.</p></div></div></div>
158+
string</span></code></div><div class="spec-doc"><p><code>api ~base ~lib indexdoc</code> renders the API module <code>&lt;nav&gt;</code> from a curated odoc index (<code>{N title}</code> sections + <code>{!modules: …}</code> lists). The OCaml port of <code>gen-nav.py</code>. A module path <code>A.B.C</code> maps to <code>&lt;base&gt;/&lt;lib&gt;/[&lt;wrapper&gt;/]A/B/C/index.html</code>. <code>skip</code> lists section titles to drop (page titles, <code>Index</code>); <code>heading</code> is the <code>&lt;h3&gt;</code> (default <code>&quot;Modules&quot;</code>).</p></div></div></div>
163159
</article>
164160
</div>
165161
</div>

dev/wodoc/Wodoc/Preprocess/index.html

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -97,6 +97,7 @@ <h3>Manual</h3>
9797
<li class="ml3" data-wodoc-page="overview"><a href="../../../wodoc/overview.html">How it works</a></li>
9898
<li class="ml3" data-wodoc-page="directives"><a href="../../../wodoc/directives.html">Directives</a></li>
9999
<li class="ml3" data-wodoc-page="authoring"><a href="../../../wodoc/authoring.html">Authoring</a></li>
100+
<li class="ml3" data-wodoc-page="config"><a href="../../../wodoc/config.html">Configuration</a></li>
100101
<li class="ml3" data-wodoc-page="commands"><a href="../../../wodoc/commands.html">Commands</a></li>
101102
</ul>
102103
</nav>
@@ -133,6 +134,7 @@ <h3>Manual</h3>
133134
<li class="ml3" data-wodoc-page="overview"><a href="../../../wodoc/overview.html">How it works</a></li>
134135
<li class="ml3" data-wodoc-page="directives"><a href="../../../wodoc/directives.html">Directives</a></li>
135136
<li class="ml3" data-wodoc-page="authoring"><a href="../../../wodoc/authoring.html">Authoring</a></li>
137+
<li class="ml3" data-wodoc-page="config"><a href="../../../wodoc/config.html">Configuration</a></li>
136138
<li class="ml3" data-wodoc-page="commands"><a href="../../../wodoc/commands.html">Commands</a></li>
137139
</ul>
138140
</nav>

dev/wodoc/Wodoc/Render/index.html

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -97,6 +97,7 @@ <h3>Manual</h3>
9797
<li class="ml3" data-wodoc-page="overview"><a href="../../../wodoc/overview.html">How it works</a></li>
9898
<li class="ml3" data-wodoc-page="directives"><a href="../../../wodoc/directives.html">Directives</a></li>
9999
<li class="ml3" data-wodoc-page="authoring"><a href="../../../wodoc/authoring.html">Authoring</a></li>
100+
<li class="ml3" data-wodoc-page="config"><a href="../../../wodoc/config.html">Configuration</a></li>
100101
<li class="ml3" data-wodoc-page="commands"><a href="../../../wodoc/commands.html">Commands</a></li>
101102
</ul>
102103
</nav>
@@ -133,6 +134,7 @@ <h3>Manual</h3>
133134
<li class="ml3" data-wodoc-page="overview"><a href="../../../wodoc/overview.html">How it works</a></li>
134135
<li class="ml3" data-wodoc-page="directives"><a href="../../../wodoc/directives.html">Directives</a></li>
135136
<li class="ml3" data-wodoc-page="authoring"><a href="../../../wodoc/authoring.html">Authoring</a></li>
137+
<li class="ml3" data-wodoc-page="config"><a href="../../../wodoc/config.html">Configuration</a></li>
136138
<li class="ml3" data-wodoc-page="commands"><a href="../../../wodoc/commands.html">Commands</a></li>
137139
</ul>
138140
</nav>

dev/wodoc/Wodoc/Resolve/index.html

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -97,6 +97,7 @@ <h3>Manual</h3>
9797
<li class="ml3" data-wodoc-page="overview"><a href="../../../wodoc/overview.html">How it works</a></li>
9898
<li class="ml3" data-wodoc-page="directives"><a href="../../../wodoc/directives.html">Directives</a></li>
9999
<li class="ml3" data-wodoc-page="authoring"><a href="../../../wodoc/authoring.html">Authoring</a></li>
100+
<li class="ml3" data-wodoc-page="config"><a href="../../../wodoc/config.html">Configuration</a></li>
100101
<li class="ml3" data-wodoc-page="commands"><a href="../../../wodoc/commands.html">Commands</a></li>
101102
</ul>
102103
</nav>
@@ -133,6 +134,7 @@ <h3>Manual</h3>
133134
<li class="ml3" data-wodoc-page="overview"><a href="../../../wodoc/overview.html">How it works</a></li>
134135
<li class="ml3" data-wodoc-page="directives"><a href="../../../wodoc/directives.html">Directives</a></li>
135136
<li class="ml3" data-wodoc-page="authoring"><a href="../../../wodoc/authoring.html">Authoring</a></li>
137+
<li class="ml3" data-wodoc-page="config"><a href="../../../wodoc/config.html">Configuration</a></li>
136138
<li class="ml3" data-wodoc-page="commands"><a href="../../../wodoc/commands.html">Commands</a></li>
137139
</ul>
138140
</nav>

dev/wodoc/Wodoc/Sexp/index.html

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -97,6 +97,7 @@ <h3>Manual</h3>
9797
<li class="ml3" data-wodoc-page="overview"><a href="../../../wodoc/overview.html">How it works</a></li>
9898
<li class="ml3" data-wodoc-page="directives"><a href="../../../wodoc/directives.html">Directives</a></li>
9999
<li class="ml3" data-wodoc-page="authoring"><a href="../../../wodoc/authoring.html">Authoring</a></li>
100+
<li class="ml3" data-wodoc-page="config"><a href="../../../wodoc/config.html">Configuration</a></li>
100101
<li class="ml3" data-wodoc-page="commands"><a href="../../../wodoc/commands.html">Commands</a></li>
101102
</ul>
102103
</nav>
@@ -133,6 +134,7 @@ <h3>Manual</h3>
133134
<li class="ml3" data-wodoc-page="overview"><a href="../../../wodoc/overview.html">How it works</a></li>
134135
<li class="ml3" data-wodoc-page="directives"><a href="../../../wodoc/directives.html">Directives</a></li>
135136
<li class="ml3" data-wodoc-page="authoring"><a href="../../../wodoc/authoring.html">Authoring</a></li>
137+
<li class="ml3" data-wodoc-page="config"><a href="../../../wodoc/config.html">Configuration</a></li>
136138
<li class="ml3" data-wodoc-page="commands"><a href="../../../wodoc/commands.html">Commands</a></li>
137139
</ul>
138140
</nav>

0 commit comments

Comments
 (0)