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

diff --git a/doc/gtut-tour-06-logs.doc b/doc/gtut-tour-06-logs.doc
index 7055dd775f..347abdb5c6 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).
-\don'tinclude 06-logs.c
+\dontinclude 06-logs.c
 \skip XBT_LOG
 \until XBT_LOG