[jhbuild/wip/hadess/hotdoc] world: Add hotdoc module

[Bastien Nocera <hadess src gnome org>]

commit 54a3ba43d1886c3eb15270c3b1e220b2ff6ff58b
Author: Bastien Nocera <hadess hadess net>
Date:   Sun Oct 10 19:27:53 2021 +0200

    world: Add hotdoc module

 modulesets/gnome-world.modules | 6 ++++++
 1 file changed, 6 insertions(+)
---
diff --git a/modulesets/gnome-world.modules b/modulesets/gnome-world.modules
index 79926ccf..15909b45 100644
--- a/modulesets/gnome-world.modules
+++ b/modulesets/gnome-world.modules
@@ -1495,6 +1495,12 @@
             checkoutdir="python-dbusmock"/>
   </distutils>
 
+  <distutils id="hotdoc" python3="1">
+    <branch repo="github.com"
+            module="hotdoc/hotdoc.git"
+            checkoutdir="hotdoc"/>
+  </distutils>
+
   <tarball id="gnokii" version="0.6.26">
     <source href="http://www.gnokii.org/download/gnokii/gnokii-0.6.26.tar.bz2";
             md5sum="dcb81aa203f9ae4167b5045b7b8177e1" size="2059415"/>