From 0fa5c539fdbf493fde775a4a5f7245333389c582 Mon Sep 17 00:00:00 2001 From: Alex Helfet Date: Sat, 13 Apr 2019 16:15:20 +0100 Subject: [PATCH] bin/build_docs shows docs path. --- bin/build_docs | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/bin/build_docs b/bin/build_docs index 2c4ee84..ae369cb 100755 --- a/bin/build_docs +++ b/bin/build_docs @@ -1,6 +1,11 @@ #!/usr/bin/env bash -set -ex +set -ex; + +# Compute repo directory. +readonly repo_dir="$( cd $(dirname ${BASH_SOURCE})/..; pwd )"; rustup toolchain update nightly; cargo +nightly doc -p framed --verbose --no-deps --features use_nightly; + +echo "Docs built to file://${repo_dir}/target/doc/framed/index.html";