Docs: Mention pigweed.dev in getting started
Adds a mention of pigweed.dev in the "Building the Documentation"
section of the getting started guide.
Change-Id: I172de3768df42b551b24ac878972260ce955c241
Reviewed-on: https://pigweed-review.googlesource.com/c/pigweed/pigweed/+/24425
Reviewed-by: Keir Mierle <keir@google.com>
Commit-Queue: Armando Montanez <amontanez@google.com>
diff --git a/docs/getting_started.md b/docs/getting_started.md
index 59e17de..106ba6a 100644
--- a/docs/getting_started.md
+++ b/docs/getting_started.md
@@ -307,10 +307,13 @@
## Building the Documentation
In addition to the markdown documentation, Pigweed has a collection of
-information-rich RST files that are built by the default invocation of GN. You
-will find the documents at `out/docs/gen/docs/html`.
+information-rich RST files that are used to generate HTML documentation. All the
+docs are hosted at https://pigweed.dev/, and are built as a part of the default
+build invocation. This makes it easier to make changes and see how they turn
+out. Once built, you can find the rendered HTML documentation at
+`out/docs/gen/docs/html`.
-You can build the documentation manually by with the command below.
+You can explicitly build just the documentation with the command below.
```shell
$ ninja -C out docs