liquid_feedback_frontend
diff make-doc.sh @ 1657:4d5f30d8df4a
Updated installation instructions
author | bsw |
---|---|
date | Sun Feb 14 13:12:08 2021 +0100 (2021-02-14) |
parents | |
children |
line diff
1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000 1.2 +++ b/make-doc.sh Sun Feb 14 13:12:08 2021 +0100 1.3 @@ -0,0 +1,8 @@ 1.4 +#!/bin/sh 1.5 +# 1.6 +# This command can be used to update the INSTALL.html file after changing the 1.7 +# INSTALL.mkd file. 1.8 + 1.9 +echo "<html><head><title>"`grep '[^ \t\r\n][^ \t\r\n]*' INSTALL.mkd | head -n 1`"</title></head><body>" > INSTALL.html 1.10 +markdown2 INSTALL.mkd >> INSTALL.html 1.11 +echo "</body></html>" >> INSTALL.html