Ocsigen Web site
Pages are generated by html_of_wiki, from the wiki documentation in each project.
Any change in html files here will be overwritten. The wikis are in the
make local--- generates the website with links supporting local navigation. (For testing only!)
make website--- generates the files to upload on GitHub Pages.
git addthe files +
git commit -v(opens your
$EDITORfor editing commit message).
git push origin master.
make open--- opens
index.htmlin your default web browser.
The content of the main website is not refreshed automatically (unlike individual projects).
On each modification/addition of a .wiki file, you have to
To previsualize locally, you can use: