From 0780c33965073dc470b9ea9b913be2dc7e6d3f82 Mon Sep 17 00:00:00 2001 From: Alexandre Dupas Date: Thu, 13 Aug 2009 17:18:37 +0200 Subject: [PATCH] Move make-html to utils as it is not a tool requierd during compilation. --- make-html => utils/make-html | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename make-html => utils/make-html (100%) diff --git a/make-html b/utils/make-html similarity index 100% rename from make-html rename to utils/make-html