Doc script

This commit is contained in:
o9000 2017-04-23 16:40:31 +02:00
parent 3120cb9cae
commit c53274a576

View file

@ -2,6 +2,9 @@
# You can install md2man with gem install md2man. You need gem and ruby-dev.
set -e
set -x
md2man-roff tint2.md > tint2.1
cat header.html > manual.html