X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/4849314d08c1c90227cdbbc346f59e6e22a621d2..c53d0aac5a5ab41701f3320d95f1cd2b0f3fd005:/doc/gtut-tour-06-logs.doc

diff --git a/doc/gtut-tour-06-logs.doc b/doc/gtut-tour-06-logs.doc
index 347abdb5c6..7055dd775f 100644
--- a/doc/gtut-tour-06-logs.doc
+++ b/doc/gtut-tour-06-logs.doc
@@ -74,7 +74,7 @@ of channel we want:
 What we want here is a root category (it does not belong to any existing
 channel, for sure), and we want it to be the default one in our file (of
 course, it's the only one).
-\dontinclude 06-logs.c
+\don'tinclude 06-logs.c
 \skip XBT_LOG
 \until XBT_LOG