pgLatLon

diff 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
     1.1 --- a/make-doc.sh	Thu Oct 23 10:39:05 2025 +0200
     1.2 +++ b/make-doc.sh	Thu Oct 23 15:15:56 2025 +0200
     1.3 @@ -1,8 +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 +# README.md file.
     1.9  
    1.10 -echo "<html><head><title>"`grep '[^ \t\r\n][^ \t\r\n]*' README.mkd | head -n 1`"</title></head><body>" > README.html
    1.11 -markdown2 README.mkd >> README.html
    1.12 +echo "<html><head><title>"`grep '[^ \t\r\n][^ \t\r\n]*' README.md | head -n 1`"</title></head><body>" > README.html
    1.13 +markdown2 README.md >> README.html
    1.14  echo "</body></html>" >> README.html