--- doc/help/course.manual.texxml 2012/05/15 01:41:37 1.36 +++ doc/help/course.manual.texxml 2013/06/05 17:37:57 1.37 @@ -133,7 +133,7 @@ - +