annotate make-doc.sh @ 81:b0e17a5a0258
Renamed README.mkd to README.md
| author |
jbe |
| date |
Thu Oct 23 15:15:56 2025 +0200 (4 days ago) |
| parents |
3b70e93cc07d |
| children |
8a08dc69de98 |
| 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@81
|
4 # README.md file.
|
|
jbe@0
|
5
|
|
jbe@81
|
6 echo "<html><head><title>"`grep '[^ \t\r\n][^ \t\r\n]*' README.md | head -n 1`"</title></head><body>" > README.html
|
|
jbe@81
|
7 markdown2 README.md >> README.html
|
|
jbe@0
|
8 echo "</body></html>" >> README.html
|