Giters

ocsigen / tuto

Ocsigen tutorial

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Generate the html files locally

To generate the static html files locally you have to :

  • Make sure to have quickdop and jq installed
  • Run the command make local DOC=[doc folder] (for example make local DOC=tutos/)

The html files will then be created in the _doc/[version]/manual folder

About

Ocsigen tutorial

Languages

Language:OCaml 51.7%Language:Makefile 32.3%Language:CSS 12.0%Language:TeX 3.9%Language:Shell 0.2%