--- old/src/linux/doc/man/DO_NOT_EDIT--GENERATED_FILES	2018-11-26 19:42:39.530336009 +0100
+++ /dev/null	2018-10-10 08:50:32.889292854 +0200
@@ -1,2 +0,0 @@
-These files are generated from docs/technotes/tools pages in the
-jdk/pubs subspace of the jdk workspace (adjacent to jdk/j2se).