From 8027db381086b73fca13ab577bf0808351789231 Mon Sep 17 00:00:00 2001
From: Lars Hupel <lars.hupel@mytum.de>
Date: Thu, 3 Sep 2015 16:31:05 +0200
Subject: [PATCH] update documentation

---
 src/sphinx/installation.rst | 13 +++----------
 1 file changed, 3 insertions(+), 10 deletions(-)

diff --git a/src/sphinx/installation.rst b/src/sphinx/installation.rst
index 4f975081a..49251612d 100644
--- a/src/sphinx/installation.rst
+++ b/src/sphinx/installation.rst
@@ -105,13 +105,6 @@ Building Documentation
 
 To build this documentation locally, you will need Sphinx (
 http://sphinx-doc.org/ ), a restructured text toolkit that
-was originally developed to support Python documentation. You will
-also need `make`.
-
-After installing sphinx, entering the `doc/` directory of
-Leon and running `make html` should build the documentation
-in the HTML format. (Several other formats are supported,
-though we do not use them, so we do not vouch for the
-quality of the output.) As a top-level file for the HTML
-documentation check `doc/_build/html/index.html` (you may
-wish to bookmark this file in your browser).
+was originally developed to support Python documentation.
+
+After installing sphinx, run ``sbt previewSite``. This will generate the documentation and open a browser.
-- 
GitLab