Marius Hein
|
0592bff4ef
|
Build server
Add absolute directory for helper scripts
refs #4067
refs #4213
refs #4099
refs #4098
refs #4214
|
2013-06-03 15:13:42 +02:00 |
Johannes Meyer
|
420f407df4
|
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
|
2013-06-03 11:40:42 +02:00 |
|
Johannes Meyer
|
3a90825f9e
|
Add runner to generate html documentation.
Implemented runner which translates each .txt
file located in doc/ to html by using markdown.
refs #4214
|
2013-06-03 11:29:57 +02:00 |