You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
</pre><p>If you want to avoid generating the whole documentation—just some parts of
83
83
it—read the documentation of the tools <strong><spanclass="teletype">dop</span></strong> and <strong><spanclass="teletype">ohow</span></strong> in
84
-
<ahref=".././html_of_wiki/" class="ocsimore_phrasing_link">the manual of html_of_wiki</a>.</p></div></div><h2>Main site</h2><p>Changes in the main site must be done in repository <spanclass="teletype">ocsigen.github.io</span>,
84
+
<ahref=".././html_of_wiki/" class="ocsimore_phrasing_link">the manual of html_of_wiki</a>.
85
+
</p><h2>Main site</h2><p>Changes in the main site must be done in repository <spanclass="teletype">ocsigen.github.io</span>,
85
86
branch <spanclass="teletype">master</span>, directory <spanclass="teletype">manual</span>. Site generation must be done
86
-
manually: <spanclass="teletype">make deploy</span>.</p><divclass="main-page-section main-page-section-about"><divclass="main-page-section-content"><ul><li><ahref=".././credits" class="ocsimore_phrasing_link">Who does Ocsigen?</a>
87
+
manually: <spanclass="teletype">make deploy</span>.</p></div></div><divclass="main-page-section main-page-section-about"><divclass="main-page-section-content"><ul><li><ahref=".././credits" class="ocsimore_phrasing_link">Who does Ocsigen?</a>
0 commit comments