src/Tools/jEdit/lib/Tools/jedit

 
   cd dist/classes
   isabelle_jdk jar cf "../jars/Isabelle-jEdit.jar" * || failed
   cd ../..
   rm -rf dist/classes
+
+  cp "$ISABELLE_JEDIT_BUILD_HOME/doc/jedit5.1.0manual-a4.pdf" dist/doc/jedit-manual.pdf
+  cp dist/doc/CHANGES.txt dist/doc/jedit-changes
+  cat > dist/doc/Contents <<EOF
+jEdit Documentation
+  jedit-manual    jEdit 5.1 User's Guide
+  jedit-changes   jEdit 5.1 Version History
+
+EOF
+
 fi
 
 popd >/dev/null