pgLatLon
view make-doc.sh @ 81:b0e17a5a0258
Renamed README.mkd to README.md
| author | jbe |
|---|---|
| date | Thu Oct 23 15:15:56 2025 +0200 (11 days ago) |
| parents | 3b70e93cc07d |
| children | 8a08dc69de98 |
line source
1 #!/bin/sh
2 #
3 # This command can be used to update the README.html file after changing the
4 # README.md file.
6 echo "<html><head><title>"`grep '[^ \t\r\n][^ \t\r\n]*' README.md | head -n 1`"</title></head><body>" > README.html
7 markdown2 README.md >> README.html
8 echo "</body></html>" >> README.html