pgLatLon

diff make-doc.sh @ 0:3b70e93cc07d
Version 0.1 (initial commit)
author: jbe
date: Sun Aug 21 17:43:48 2016 +0200 (2016-08-21)
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/make-doc.sh	Sun Aug 21 17:43:48 2016 +0200
     1.3 @@ -0,0 +1,8 @@
     1.4 +#!/bin/sh
     1.5 +#
     1.6 +# This command can be used to update the README.html file after changing the
     1.7 +# README.mkd file.
     1.8 +
     1.9 +echo "<html><head><title>"`grep '[^ \t\r\n][^ \t\r\n]*' README.mkd | head -n 1`"</title></head><body>" > README.html
    1.10 +markdown2 README.mkd >> README.html
    1.11 +echo "</body></html>" >> README.html