--- doc/help/course.manual.texxml 2013/07/15 12:34:00 1.38 +++ doc/help/course.manual.texxml 2013/07/17 14:33:21 1.40 @@ -149,8 +149,8 @@ - - + +