From 5ae315463cfaf48cbfda4d45020ebc8e8223a147 Mon Sep 17 00:00:00 2001 From: Alban Gruin Date: Sun, 13 Sep 2020 16:35:02 +0200 Subject: course: remove the part before " - " (module ID) in the course summary Signed-off-by: Alban Gruin --- src/course.ml | 3 +++ 1 file changed, 3 insertions(+) (limited to 'src') diff --git a/src/course.ml b/src/course.ml index 3633ae6..d15b736 100644 --- a/src/course.ml +++ b/src/course.ml @@ -59,6 +59,9 @@ let location_and_summary str category = if summary = "" then location, category else + let summary = match Astring.String.cut ~sep:" - " summary with + | None -> str + | Some (_, str) -> str in location, summary ^ " (" ^ category ^ ")" let date = -- cgit v1.2.1