2016-05-25 09:54:51 +00:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
# You can install md2man with gem install md2man. You need gem and ruby-dev.
|
|
|
|
|
2017-04-23 14:40:31 +00:00
|
|
|
set -e
|
|
|
|
set -x
|
|
|
|
|
2016-05-25 09:54:51 +00:00
|
|
|
md2man-roff tint2.md > tint2.1
|
|
|
|
|
|
|
|
cat header.html > manual.html
|
|
|
|
cat tint2.md | sed 's/^# TINT2 .*$/# TINT2/g' | md2man-html >> manual.html
|
|
|
|
cat footer.html >> manual.html
|
|
|
|
|
|
|
|
cat header.html > readme.html
|
|
|
|
cat ../README.md | sed 's|doc/tint2.md|manual.html|g' | md2man-html >> readme.html
|
|
|
|
cat footer.html >> readme.html
|