--- doc/help/course.manual.texxml 2013/07/17 14:27:48 1.39 +++ doc/help/course.manual.texxml 2013/07/17 14:33:21 1.40 @@ -149,7 +149,7 @@ - +