From 420f407df494f8b9119622d4edf0cb1cafc3babe Mon Sep 17 00:00:00 2001
From: Johannes Meyer <johannes.meyer@netways.de>
Date: Mon, 3 Jun 2013 11:40:42 +0200
Subject: [PATCH] Fix: Doc-runner uses wrong file extension.

Updated Doc-runner so that it converts files with
the md-extension instead of the txt-extension.

refs #4214
---
 bin/createdoc.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/bin/createdoc.sh b/bin/createdoc.sh
index d64fa10a1..4e4dbc754 100755
--- a/bin/createdoc.sh
+++ b/bin/createdoc.sh
@@ -1,7 +1,7 @@
 #!/bin/sh
 
-for filepath in `find ../doc -type f -name "*.txt"`; do
-    markdown $filepath > `dirname $filepath`/`basename $filepath .txt`.html
+for filepath in `find ../doc -type f -name "*.md"`; do
+    markdown $filepath > `dirname $filepath`/`basename $filepath .md`.html
 done
 
 exit 0