I'm just looking to patch games/minecraft-server to the newest available release. I'm not sure how to generate the distinfo file, but the changes needed to the Makefile are:
I apologize for not creating a proper patch... I'm still unfamiliar with the process.
Created attachment 205020 [details]
Patch for distinfo
Created attachment 205021 [details]
Thank you for the patch files Christian.
Created attachment 205357 [details]
minecraft-server-1.13.2 to minecraft-server-1.14.3 patch
Update source to official Minecraft version 1.14.3.