annotate make-doc.sh @ 1855:080f4112b8a9
Show new suggestion button only during admission and discussion
| author |
bsw |
| date |
Thu Mar 24 10:37:44 2022 +0100 (2022-03-24) |
| parents |
4d5f30d8df4a |
| children |
|
| rev |
line source |
|
bsw@1657
|
1 #!/bin/sh
|
|
bsw@1657
|
2 #
|
|
bsw@1657
|
3 # This command can be used to update the INSTALL.html file after changing the
|
|
bsw@1657
|
4 # INSTALL.mkd file.
|
|
bsw@1657
|
5
|
|
bsw@1657
|
6 echo "<html><head><title>"`grep '[^ \t\r\n][^ \t\r\n]*' INSTALL.mkd | head -n 1`"</title></head><body>" > INSTALL.html
|
|
bsw@1657
|
7 markdown2 INSTALL.mkd >> INSTALL.html
|
|
bsw@1657
|
8 echo "</body></html>" >> INSTALL.html
|