From 32b1dde9a5e91429461894a540b51ae3cebcc8e2 Mon Sep 17 00:00:00 2001
From: Dieter Plaetinck <dieter@plaetinck.be>
Date: Mon, 3 Aug 2009 21:29:31 +0200
Subject: generation of html from markdown files

---
 .gitignore  | 1 +
 make-doc.sh | 8 ++++++++
 2 files changed, 9 insertions(+)
 create mode 100644 .gitignore
 create mode 100755 make-doc.sh

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..1776ad4
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1 @@
+doc/*.html
diff --git a/make-doc.sh b/make-doc.sh
new file mode 100755
index 0000000..3b4b12d
--- /dev/null
+++ b/make-doc.sh
@@ -0,0 +1,8 @@
+#!/bin/sh
+which markdown &>/dev/null || echo "Need markdown utility!" >&2
+
+for i in doc/official_installation_guide_??
+do
+	echo $i
+	cat  $i | markdown > $i.html
+done
-- 
cgit v1.2.3-54-g00ecf