From 5747422855ce3b12490007377322747e8f6421aa Mon Sep 17 00:00:00 2001
From: Stefano Probst <senden9@gmail.com>
Date: Wed, 16 Oct 2019 20:57:53 +0200
Subject: [PATCH] Sort targets in documentation. Fixes #1524.

Should be a simple but effective fix for #1524. Assume `sort` command is available.
---
 ci/dox.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ci/dox.sh b/ci/dox.sh
index febe18b35b836..0c89a2e17b1e9 100644
--- a/ci/dox.sh
+++ b/ci/dox.sh
@@ -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