From d50fd56eea757bb67602b67a441d52989cbcde07 Mon Sep 17 00:00:00 2001
From: Martin Schanzenbach <mschanzenbach@posteo.de>
Date: Mon, 22 Mar 2021 20:28:33 +0100
Subject: -add doxygen in install step

---
 .buildbot/install.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.buildbot/install.sh b/.buildbot/install.sh
index b22f3aae0..8ddd77ec0 100755
--- a/.buildbot/install.sh
+++ b/.buildbot/install.sh
@@ -1,3 +1,5 @@
 #!/bin/bash
 
+cd doc/tutorial; make tutorial.html &> /dev/null; cd -
+cd doc/doxygen; make full &> /dev/null; cd -
 make install
-- 
cgit v1.2.3