Skip to content


Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Implementation of the website.
OCaml CSS HTML Makefile JavaScript
tree: 1513f5eeef

Fetching latest commit…

Cannot retrieve the latest commit at this time

Failed to load latest commit information.


This is the source code implementing the website. Information here is relevant only to developers and content contributors. End-users of the website should simply visit the website, which is hosted at


Building the html pages requires:

  • bash
  • curl
  • rsync
  • GNU make
  • ocaml >= 3.12.0 (the presence of ocamlopt is required)
  • camlp4orf (comes with the compiler in OPAM, in camlp4-extra in Debian)
  • ocamlfind
  • mpp >= 0.1.2
  • omd >= 0.7.5
  • netstring, netclient, equeue-ssl, and rss (for
  • lablgtk2 (optional, for the Gtk tutorial)

If you use opam, the OCaml packages above can be installed by running:

opam install ocamlfind mpp omd ssl ocamlnet ocamlrss

Note that you need libssl-dev to be able to compile and use ssl. libssl-dev is the name of a debian package, if you're using another system, it might be available under a different name.


The site consists only of static pages, so can be built and run entirely on a local machine without dependencies on external file or database servers. Simply run:


(or make -j for a faster build on multicore machines). This will generate a new folder that contains the full website. Note that building the site will attempt to connect to the internet to download the news and latest email conversations. As usual, use make clean to delete the files generated by the compilation.


site — Main content of the site. Most files are in Markdown syntax and converted to HTML by the build scripts.

template — Templates governing the overall look and feel of the site. These are applied to the pages within site/ when the site is built. References to templates within site pages should be of the form template/template-file-name because the build script assumes this directory structure.

script — Scripts used to build the site.


For general discussion about the site's implementation, you can post to the infrastructure mailing list.

For a specific bug report, content suggestion, or feature request, please create an issue on GitHub. Or best of all, fork the repo, make changes to your copy, and submit pull requests. It's that easy!

Something went wrong with that request. Please try again.