Fix local build output directory path in README#277

toh995 wants to merge 1 commit into

leanprover:masterleanprover/fp-lean:masterfrom

toh995:patch-1toh995/fp-lean:patch-1Copy head branch name to clipboard