Merge "Remove tools/glossary-sort.sh"
This commit is contained in:
commit
f572e189bf
|
@ -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
|
|
Loading…
Reference in New Issue