Remove the publishing guides; Claire Proof has its own page - #25

Remove the publishing guides; Claire Proof has its own page#25

mcc0x merged 2 commits into

maintryclaire/docs:mainfrom

remove-site-docstryclaire/docs:remove-site-docsCopy head branch name to clipboard