--- doc/help/course.manual.texxml 2013/07/15 12:34:00 1.38 +++ doc/help/course.manual.texxml 2013/07/17 14:27:48 1.39 @@ -150,7 +150,7 @@ - +