docs: publish the themed HTML manual to copperline.dev/docs on release#176

LinuxJedi merged 1 commit into

mainLinuxJedi/Copperline:mainfrom

docs-html-siteLinuxJedi/Copperline:docs-html-siteCopy head branch name to clipboard