--- a/src/Tools/jEdit/lib/Tools/jedit Tue Apr 17 10:22:42 2018 +0100
+++ b/src/Tools/jEdit/lib/Tools/jedit Tue Apr 17 14:48:55 2018 +0200
@@ -411,12 +411,12 @@
compile_sources "${SOURCES[@]}"
make_jar "$TARGET"
- cp "$ISABELLE_JEDIT_BUILD_HOME/doc/jedit5.4.0manual-a4.pdf" dist/doc/jedit-manual.pdf
+ cp "$ISABELLE_JEDIT_BUILD_HOME/doc/jedit5.5.0manual-a4.pdf" dist/doc/jedit-manual.pdf
cp dist/doc/CHANGES.txt dist/doc/jedit-changes
cat > dist/doc/Contents <<EOF
Original jEdit Documentation
- jedit-manual jEdit 5.4 User's Guide
- jedit-changes jEdit 5.4 Version History
+ jedit-manual jEdit 5.5 User's Guide
+ jedit-changes jEdit 5.5 Version History
EOF