diff options
author | Alban Gruin | 2020-09-13 16:35:02 +0200 |
---|---|---|
committer | Alban Gruin | 2020-09-13 16:42:20 +0200 |
commit | 5ae315463cfaf48cbfda4d45020ebc8e8223a147 (patch) | |
tree | f509a6d9bbfa5b4fb4a4a1ec6b49b134c12e5a4f | |
parent | 742db32948e6c60770d6616496917077a1386dbc (diff) |
course: remove the part before " - " (module ID) in the course summary
Signed-off-by: Alban Gruin <alban at pa1ch dot fr>
-rw-r--r-- | src/course.ml | 3 |
1 files changed, 3 insertions, 0 deletions
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 = |