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

shhyou wants to merge 4 commits intoagda:masteragda/agda-stdlib:masterfrom

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