Making the installations a bit more idiot proof/beginner friendly. Fixes: https://github.com/metamath/metamath-exe/issues/173#24

frogeyedpeas wants to merge 1 commit intometamath:mainmetamath/metamath-website-seed:mainfrom

frogeyedpeas:sid/fix_installation_instructionsfrogeyedpeas/metamath-website-seed:sid/fix_installation_instructionsCopy head branch name to clipboard