Skip to content

ocsigen/ocsigen.github.io

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Ocsigen Web site

The Web site content lives in a Git repository, and gets served by means of the GitHub Pages infrastructure.

Pages

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 manual directory.

  • make local --- generates the website with links supporting local navigation. (For testing only!)
  • make website --- generates the files to upload on GitHub Pages.
  • make commit --- make website + git add the files + git commit -v (opens your $EDITOR for editing commit message).
  • make deploy --- make commit + git push origin master.
  • make open --- opens index.html in 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 make deploy.

Blog

This repository also contains the Ocsigen blog. We welcome contributions! Fork the repository, add a Markdown-formatted article under _posts/, and initiate a pull request.

To previsualize locally, you can use:

jekyll serve