Add doc/ to the target in Makefile and make the cabal command customizable#2830

MatthewDaggitt merged 7 commits into

agda:masteragda/agda-stdlib:masterfrom

shhyou:doc-everythingshhyou/agda-stdlib:doc-everythingCopy head branch name to clipboard