doc: mention build doc source location (#4045)

kmill · web-flow · commit 5f727699b0dd · 2024-05-01T22:42:54.000Z
diff --git a/README.md b/README.md
@@ -22,4 +22,4 @@ Please read our [Contribution Guidelines](CONTRIBUTING.md) first.
 
 # Building from Source
 
-See [Building Lean](https://lean-lang.org/lean4/doc/make/index.html).
+See [Building Lean](https://lean-lang.org/lean4/doc/make/index.html) (documentation source: [doc/make/index.md](doc/make/index.md)).

Original file line number	Diff line number	Diff line change
`@@ -22,4 +22,4 @@ Please read our [Contribution Guidelines](CONTRIBUTING.md) first.`
`22`	`22`
`23`	`23`	`# Building from Source`
`24`	`24`
`25`		`-See [Building Lean](https://lean-lang.org/lean4/doc/make/index.html).`
	`25`	`+See [Building Lean](https://lean-lang.org/lean4/doc/make/index.html) (documentation source: [doc/make/index.md](doc/make/index.md)).`