diff --git a/user-manual/en/build.sh b/user-manual/en/build.sh new file mode 100755 index 00000000..ceddae95 --- /dev/null +++ b/user-manual/en/build.sh @@ -0,0 +1,5 @@ +#!/bin/sh +set -e +mdbook build +# [Remove Google surveillance](https://github.com/rust-lang/mdBook/issues/847). +find book -name '*.html' | xargs sed -i '/