diff -r 65016740d3e0 -r 8af6fcdc869d src/Pure/build-jars
--- a/src/Pure/build-jars	Thu Mar 01 15:02:45 2018 +0100
+++ b/src/Pure/build-jars	Thu Mar 01 20:05:41 2018 +0100
@@ -46,6 +46,7 @@
   General/codepoint.scala
   General/comment.scala
   General/completion.scala
+  General/csv.scala
   General/date.scala
   General/exn.scala
   General/file.scala