build: give nicer name to docs build task#26

keithamus merged 1 commit intomastergithub/catalyst:masterfrom

build-give-nicer-name-to-docs-build-taskgithub/catalyst:build-give-nicer-name-to-docs-build-taskCopy head branch name to clipboard