diff --git a/bin/build-rust-docs.sh b/bin/build-rust-docs.sh index fab358912e..2188f715d2 100755 --- a/bin/build-rust-docs.sh +++ b/bin/build-rust-docs.sh @@ -8,7 +8,13 @@ set -e CRATE_NAME=glean_core pushd docs && - mdbook build && + mdbook build |& grep "\[ERROR\]" && + if [ $? -eq 0 ] + then + exit 1 + else + exit 0 + fi popd cargo doc --no-deps diff --git a/docs/user/pings/custom.md b/docs/user/pings/custom.md index 07fc124e4a..5c0607888c 100644 --- a/docs/user/pings/custom.md +++ b/docs/user/pings/custom.md @@ -37,7 +37,7 @@ search: The Glean SDK build generates code from `pings.yaml` in a `Pings` object, which must be instantiated so Glean can send pings by name. -{{#include ../tab_header.md}} +{{#include ../../tab_header.md}}
@@ -67,7 +67,7 @@ pings = load_pings("pings.yaml")
-{{#include ../tab_footer.md}} +{{#include ../../tab_footer.md}} ## Sending metrics in a custom ping @@ -99,7 +99,7 @@ To send a custom ping, call the `send` method on the `PingType` object that the For example, to send the custom ping defined above: -{{#include ../tab_header.md}} +{{#include ../../tab_header.md}}
@@ -118,4 +118,4 @@ pings.search.send()
-{{#include ../tab_footer.md}} +{{#include ../../tab_footer.md}}