Merge "Remove tools/glossary-sort.sh"

This commit is contained in:
Zuul 2018-11-27 12:09:22 +00:00 committed by Gerrit Code Review
commit f572e189bf
2 changed files with 0 additions and 26 deletions

View File

@ -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

View File

@ -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