From ebb7105416f40af4bb65a256d6351cd4bafa9c7d Mon Sep 17 00:00:00 2001
From: Thierry Parmentelat <thierry.parmentelat@inria.fr>
Date: Fri, 15 Jan 2016 09:58:58 +0100
Subject: [PATCH] comments

---
 website/Makefile | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/website/Makefile b/website/Makefile
index b9fe0596..59091960 100644
--- a/website/Makefile
+++ b/website/Makefile
@@ -1,5 +1,8 @@
 ########## contents
 ALL_MDS = $(shell git ls-files | grep '\.md$$')
+# a first, quick and dirty approach is to publish right
+# in /var/www/html so there's no impact on the httpd config
+# of course we might have to isolate this underneath at some point
 PUBLISH_PATH = /var/www/html
 
 #ALL_PLUGINS = plugins/*.{js,css,html}
-- 
2.43.0