File tree Expand file tree Collapse file tree 1 file changed +6
-5
lines changed Expand file tree Collapse file tree 1 file changed +6
-5
lines changed Original file line number Diff line number Diff line change 6
6
7
7
set -ex
8
8
9
- TARGET_DOC_DIR=target/doc
10
- README=README.md
11
- PLATFORM_SUPPORT=platform-support.md
9
+ TARGET_DOC_DIR=" target/doc"
10
+ README=" README.md"
11
+ PLATFORM_SUPPORT=" platform-support.md"
12
12
13
- rm -rf $TARGET_DOC_DIR
14
- mkdir -p $TARGET_DOC_DIR
13
+ rm -rf " $TARGET_DOC_DIR "
14
+ mkdir -p " $TARGET_DOC_DIR "
15
15
16
16
if ! rustc --version | grep -E " nightly" ; then
17
17
echo " Building the documentation requires a nightly Rust toolchain"
@@ -57,6 +57,7 @@ while read -r target; do
57
57
--no-default-features --features extra_traits
58
58
fi
59
59
60
+ mkdir -p " ${TARGET_DOC_DIR} /${target} "
60
61
cp -r " target/${target} /doc" " ${TARGET_DOC_DIR} /${target} "
61
62
62
63
echo " * [${target} ](${target} /libc/index.html)" >> $PLATFORM_SUPPORT
You can’t perform that action at this time.
0 commit comments