From 389b5de09dc3720c22ac86d5cad4c1495fc5be58 Mon Sep 17 00:00:00 2001
From: Florian Dold <florian.dold@gmail.com>
Date: Wed, 18 Sep 2019 19:45:10 +0200
Subject: use pre-built man and texinfo from docs.git

---
 .gitmodules | 4 ++++
 1 file changed, 4 insertions(+)

(limited to '.gitmodules')

diff --git a/.gitmodules b/.gitmodules
index 7625aa983..de5e33058 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -1,3 +1,7 @@
 [submodule "doc/api"]
 	path = doc/api
 	url = git@git.taler.net:api
+[submodule "doc/prebuilt"]
+	path = doc/prebuilt
+	url = https://git.taler.net/docs.git
+	branch = prebuilt
-- 
cgit v1.2.3