From ed34ac8f1118217af9a6f24c3e3285e00aafeb08 Mon Sep 17 00:00:00 2001
From: Rebecca Neumann <rebecca@dune-project.org>
Date: Fri, 11 Feb 2011 09:42:24 +0000
Subject: [PATCH] update information on documentation

[[Imported from SVN: r6342]]
---
 doc/buildsystem/buildsystem.tex | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/buildsystem/buildsystem.tex b/doc/buildsystem/buildsystem.tex
index f7a41c662..603aeb99d 100644
--- a/doc/buildsystem/buildsystem.tex
+++ b/doc/buildsystem/buildsystem.tex
@@ -241,9 +241,9 @@ dune-foo/
 
 After running
 \begin{lstlisting}[language=make]
-./dune-common/bin/dunecontrol --module=foo --opts=config.opts all
+make doc
 \end{lstlisting}
-with a \texttt{config.opts} that enables documentation you should now find a
+in \texttt{dune-foo} you should now find a
 \texttt{html} \texttt{doxygen} documentation in
 \texttt{dune-foo/doc/doxygen/html/index.html}.\\
 
-- 
GitLab