From 6dd90e827f30fc98e93b660ef46efd84cc5af56f Mon Sep 17 00:00:00 2001 From: Thomas Schoebel-Theuer Date: Fri, 22 Jun 2018 12:52:10 +0200 Subject: [PATCH] doc: update reference to football --- docu/mars-manual.lyx | 14 +++++++++++--- 1 file changed, 11 insertions(+), 3 deletions(-) diff --git a/docu/mars-manual.lyx b/docu/mars-manual.lyx index 28aa36ee..15e35dc2 100644 --- a/docu/mars-manual.lyx +++ b/docu/mars-manual.lyx @@ -3652,13 +3652,21 @@ In case you already have a redundant LV copy somewhere, you should run a Example: see \family typewriter -tetris.sh +football.sh \family default in the \family typewriter -contrib/ +football/ \family default - directory of MARS. + directory of MARS, which is a checkout of the Football sub-project (see + chapter +\begin_inset CommandInset ref +LatexCommand ref +reference "chap:LV-Football" + +\end_inset + +). \end_layout \begin_layout Itemize