diff options
| author | Jubilee Young <workingjubilee@gmail.com> | 2021-02-25 16:21:17 -0800 |
|---|---|---|
| committer | Jubilee Young <workingjubilee@gmail.com> | 2021-02-25 16:22:58 -0800 |
| commit | 9807fad7ac9715e8fc8635f3ed9afbc6bbdc2033 (patch) | |
| tree | 0a5cf3546597b127e5bf9090c04dea1bd2811b00 | |
| parent | fcae5a7a1a65b56d89f38cafdc59659d1f756620 (diff) | |
| download | rust-libc-9807fad7ac9715e8fc8635f3ed9afbc6bbdc2033.tar.gz | |
Stop directory-not-there errors in dox.sh
| -rw-r--r-- | ci/dox.sh | 11 |
1 files changed, 6 insertions, 5 deletions
@@ -6,12 +6,12 @@ set -ex -TARGET_DOC_DIR=target/doc -README=README.md -PLATFORM_SUPPORT=platform-support.md +TARGET_DOC_DIR="target/doc" +README="README.md" +PLATFORM_SUPPORT="platform-support.md" -rm -rf $TARGET_DOC_DIR -mkdir -p $TARGET_DOC_DIR +rm -rf "$TARGET_DOC_DIR" +mkdir -p "$TARGET_DOC_DIR" if ! rustc --version | grep -E "nightly" ; then echo "Building the documentation requires a nightly Rust toolchain" @@ -57,6 +57,7 @@ while read -r target; do --no-default-features --features extra_traits fi + mkdir -p "${TARGET_DOC_DIR}/${target}" cp -r "target/${target}/doc" "${TARGET_DOC_DIR}/${target}" echo "* [${target}](${target}/libc/index.html)" >> $PLATFORM_SUPPORT |