From c53274a5760419530d688e6f08f78c1b2fdeedf2 Mon Sep 17 00:00:00 2001
From: o9000 <mrovi9000@gmail.com>
Date: Sun, 23 Apr 2017 16:40:31 +0200
Subject: [PATCH] Doc script

---
 doc/generate-doc.sh | 3 +++
 1 file changed, 3 insertions(+)

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