[ 10:31 olgeni  ]

• 498550 lang/erlang-runtime15/Makefile
• 498550 lang/erlang-runtime15/distinfo

lang/erlang-runtime15: switch to GitHub build.

[ 15:19 olgeni  ]

• 466967 lang/erlang-runtime15/Makefile
• 466967 lang/erlang-runtime15/distinfo
• 466967 lang/erlang-runtime16/Makefile
• 466967 lang/erlang-runtime16/distinfo
• 466967 lang/erlang-runtime17/Makefile
• 466967 lang/erlang-runtime17/distinfo
• 466967 lang/erlang-runtime18/Makefile
• 466967 lang/erlang-runtime18/distinfo
• 466967 lang/erlang-runtime19/Makefile
• 466967 lang/erlang-runtime19/distinfo

Modernization of Erlang ports:

- Convert all ports to options helpers
- Add MANPAGES option to lang/erlang
- Remove HTML and PDF documentation from lang/erlang (went into erlang-doc)
- Remove APP_UPGRADE code because of the doc split
- Reduce diffs between all Makefiles
- Enable dirty schedulers by default on version 20
- Non-SMP beam is deprecated on version 20, so enable SMP unconditionally