diff -r 4cf6726eb85e -r ef72b104fa32 Admin/jenkins/ci-extras/README
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/jenkins/ci-extras/README	Tue May 24 22:46:23 2016 +0200
@@ -0,0 +1,11 @@
+This contains a Maven project which assembles all third-party dependencies for
+the Jenkins build script and packages them up as an Isabelle component.
+
+To produce the Isabelle component, run './package'. This will create a tarball
+in the 'dist' folder.
+
+The constituent packages, including sources and individual copyright notices,
+can be found in the 'contrib' folder.
+
+
+Lars Hupel, 24-May-2016