diff --git a/doc/generate-doc.sh b/doc/generate-doc.sh index 5a4ee29..28386e7 100755 --- a/doc/generate-doc.sh +++ b/doc/generate-doc.sh @@ -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