From d39de3e38092f5131a54f097a9c354abb6f92268 Mon Sep 17 00:00:00 2001
From: Lars Hupel <lars.hupel@mytum.de>
Date: Mon, 14 Sep 2015 17:56:59 +0200
Subject: [PATCH] mention git submodules in the doc

---
 src/sphinx/isabelle.rst | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/sphinx/isabelle.rst b/src/sphinx/isabelle.rst
index 9392b519a..c48fa16eb 100644
--- a/src/sphinx/isabelle.rst
+++ b/src/sphinx/isabelle.rst
@@ -40,6 +40,9 @@ itself. During the first start, you just need to pass the command line option
 ``--isabelle:download=true``. You may specify ``--isabelle:base``, but don't
 have to.
 
+Additionally, you need to instruct Git to fetch all the referenced repositories
+via ``git submodule update --init --recursive``.
+
 
 Basic usage
 -----------
-- 
GitLab