Updating the guide to match the latest version of mm-lamp #155
Description
I would like to update the guide to match the latest version of mm-lamp. I am going to do this in many small steps (I don't have time to update everything in one go). What would be the right approach for that? As I understand the /docs directory contains files of the documentation currently shown on lamp-guide.metamath.org as well as directories for different versions of mm-lamp. Should I create a new directory /docs/29 (where 29 is the latest version of mm-lamp at the moment), copy all from /docs to /docs/29 (except directories named after mm-lamp versions) and start editing files in /docs/29? Will not this affect the documentation currently shown on lamp-guide.metamath.org (I don't want readers to see a mix of documentation for different versions on one page)?