diff options
author | Stefano Probst <senden9@gmail.com> | 2019-10-16 20:57:53 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-10-16 20:57:53 +0200 |
commit | 5747422855ce3b12490007377322747e8f6421aa (patch) | |
tree | 24e85a14e3467ef0120e2c40e71d3613c3d3aab6 | |
parent | 6dae870ecd0593b7e05908074bf647609625b8ae (diff) | |
download | rust-libc-5747422855ce3b12490007377322747e8f6421aa.tar.gz |
Sort targets in documentation. Fixes #1524.
Should be a simple but effective fix for #1524. Assume `sort` command is available.
-rw-r--r-- | ci/dox.sh | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -25,7 +25,7 @@ cargo +nightly install cargo-xbuild -Z install-upgrade # shellcheck disable=SC1003 grep '[\d|\w|-]* \\' ci/build.sh > targets sed -i.bak 's/ \\//g' targets -grep '^[_a-zA-Z0-9-]*$' targets > tmp && mv tmp targets +grep '^[_a-zA-Z0-9-]*$' targets | sort > tmp && mv tmp targets # Create a markdown list of supported platforms in $PLATFORM_SUPPORT rm $PLATFORM_SUPPORT || true |