Add information how to build and publish since it has changed,
and update legacy documentation to better match current reality.
Some backporting/syncing was needed since some pages had only been updated at
the site-repo erlide/erlide.github.io instead of in this repo where the source of information is located.
Add information how to build and publish since it has changed, and update legacy documentation to better match current reality.
Some backporting/syncing was needed since some pages had only been updated at the site-repo
erlide/erlide.github.ioinstead of in this repo where the source of information is located.