Added versioning instructions
Added a page describing how to use mike
to set up versioning for a mkdocs
website. Note that atm the instructions include copy-pasting an entire .gitlab-ci.yml
. It might be desirable to put this file in a separate repository so that users can simply include it.