annotate make-doc.sh @ 37:9dfb5391a9c5
Added tag v0.7 for changeset 604f7bbc7f9c
author |
jbe |
date |
Mon Sep 26 10:01:51 2016 +0200 (2016-09-26) |
parents |
3b70e93cc07d |
children |
|
rev |
line source |
jbe@0
|
1 #!/bin/sh
|
jbe@0
|
2 #
|
jbe@0
|
3 # This command can be used to update the README.html file after changing the
|
jbe@0
|
4 # README.mkd file.
|
jbe@0
|
5
|
jbe@0
|
6 echo "<html><head><title>"`grep '[^ \t\r\n][^ \t\r\n]*' README.mkd | head -n 1`"</title></head><body>" > README.html
|
jbe@0
|
7 markdown2 README.mkd >> README.html
|
jbe@0
|
8 echo "</body></html>" >> README.html
|