diff --git a/tools/glossary-sort.sh b/tools/glossary-sort.sh deleted file mode 100755 index 89b282e5..00000000 --- a/tools/glossary-sort.sh +++ /dev/null @@ -1,25 +0,0 @@ -#!/bin/bash -xe - -# Check that doc/common/glossary entries are alphabetized and prints -# list of entries that should be sorted. - -# Cross-platform (Mac and Linux) commands to make a temporary working directory -thetmpdir=`mktemp -d 2>/dev/null || mktemp -d -t 'thetmpdir'` -trap "rm -rf $thetmpdir" EXIT - -pushd $thetmpdir -GLOSSARY=$OLDPWD/doc/source/common/glossary.rst - -grep '^ [a-zA-Z0-9]' $GLOSSARY > glossary_entries - -LC_ALL=C sort --ignore-case glossary_entries -o glossary_entries.sorted - -if ! diff glossary_entries glossary_entries.sorted > glossary_entries.diff; then - echo "The following entries should be alphabetized: " - cat glossary_entries.diff | grep -e '> ' - exit 1 -else - echo "Glossary alphabetized." -fi - -popd diff --git a/tox.ini b/tox.ini index 4b08ad43..721ad3f4 100644 --- a/tox.ini +++ b/tox.ini @@ -14,4 +14,3 @@ deps = commands = doc8 doc/source -e txt -e rst sphinx-build -E -W -b html doc/source doc/build/html - {toxinidir}/tools/glossary-sort.sh