From 44c0393576705661f169e212e6d703aed2bda0eb Mon Sep 17 00:00:00 2001 From: xFrednet Date: Thu, 13 May 2021 16:45:29 +0200 Subject: [PATCH 1/2] Cloning `index.html` to `dev-index.html` (util/gh-pages/) --- util/gh-pages/dev-index.html | 508 +++++++++++++++++++++++++++++++++++ 1 file changed, 508 insertions(+) create mode 100644 util/gh-pages/dev-index.html diff --git a/util/gh-pages/dev-index.html b/util/gh-pages/dev-index.html new file mode 100644 index 000000000000..27ecb532dd00 --- /dev/null +++ b/util/gh-pages/dev-index.html @@ -0,0 +1,508 @@ + + + + + + + ALL the Clippy Lints + + + + + + + + + + + + + +
🖌
+ + +
+
+

ALL the Clippy Lints

+
+ + + +
+ + + + +
+
+
+
+

Lint levels

+
+ +
+
+
+
+
+

Lint groups

+
+ +
+
+
+
+
+
+
+ + + + + +
+
+
+
+ +
+
+

+
+ {{lint.id}} + +
+ +
+ {{lint.group}} + + Allow + Warn + Deny + Deprecated + + +
+

+
+ + +
+
+
+ + + Fork me on Github + + + + + + + + + From aa17ee231aba936912a7c6682cb053cbd1d35803 Mon Sep 17 00:00:00 2001 From: xFrednet Date: Thu, 13 May 2021 16:50:32 +0200 Subject: [PATCH 2/2] Add a dev environment to gh-pages branch for testing --- .github/deploy.sh | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/.github/deploy.sh b/.github/deploy.sh index e85e8874ba60..3d779a1d8384 100644 --- a/.github/deploy.sh +++ b/.github/deploy.sh @@ -4,12 +4,23 @@ set -ex echo "Removing the current docs for master" rm -rf out/master/ || exit 0 +rm -rf out/dev/ || exit 0 echo "Making the docs for master" mkdir out/master/ cp util/gh-pages/index.html out/master python3 ./util/export.py out/master/lints.json +# Feeding the beast +# This will run in parallel to the current lint list version until everything is fully adapted +echo "Building dev environment" +mkdir -p out/dev/ +cp util/gh-pages/dev-index.html out/dev/index.html +cargo collect-metadata +# Temporary fix until the old headline syntax will be replaced with the markdown ### syntax +sed -i -e 's/ \*\*/### /g' -e 's/\*\*/\\n/g' util/gh-pages/metadata_collection.json +cp util/gh-pages/metadata_collection.json out/dev/lints.json + if [[ -n $TAG_NAME ]]; then echo "Save the doc for the current tag ($TAG_NAME) and point stable/ to it" cp -r out/master "out/$TAG_NAME"