From fb14b0eaf4cc8211b529724e521150643fee2064 Mon Sep 17 00:00:00 2001
From: "Matthias P. Braendli" <matthias.braendli@mpb.li>
Date: Wed, 24 Jan 2018 05:47:33 +0100
Subject: Add production setup chapter

---
 systemenvironments.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'systemenvironments.tex')

diff --git a/systemenvironments.tex b/systemenvironments.tex
index 9b40c1e..7e34b7e 100644
--- a/systemenvironments.tex
+++ b/systemenvironments.tex
@@ -1,5 +1,6 @@
 % LICENSE: see LICENCE
 \section{System Environment}
+\label{systemenvironment}
 
 In this section, we describe the system configuration requirements for the
 continuous operation of the tools. The production environment differs in some
@@ -297,7 +298,6 @@ Create a file named \verb+graphs.odr.cfg+ in
 
 
 \subsection{Real-time Scheduling}
-
 As a general principle, it is prudent not to run tools (that do not need superuser
 privileges) as the \texttt{root} user. The same principle also applies to the
 ODR-mmbTools, but care has to be taken that the tools can still request real-time
-- 
cgit v1.2.3

