From 5c12c36c585db964edd4d8f3242b24d28ae2e3b8 Mon Sep 17 00:00:00 2001 From: Damien Lespiau Date: Mon, 31 Dec 2012 14:59:55 +0000 Subject: [PATCH] doc: Don't use the HTML