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
This commit is contained in:
Johannes Meyer 2013-06-03 11:40:42 +02:00
parent 3a90825f9e
commit 420f407df4
1 changed files with 2 additions and 2 deletions

View File

@ -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