diff options
Diffstat (limited to 'doc/glossary/checkxrefs')
| -rwxr-xr-x | doc/glossary/checkxrefs | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/doc/glossary/checkxrefs b/doc/glossary/checkxrefs deleted file mode 100755 index 6da64c184..000000000 --- a/doc/glossary/checkxrefs +++ /dev/null @@ -1,10 +0,0 @@ -#!/bin/sh -DEFINED_ENTRIES=`sed -ne "s^.*<glossentry id=\"\(.*\)\">.*^\1^p" *.docbook` -REFERENCED_ENTRIES=`sed -ne "s^.*<glossseealso otherterm=\"\(.*\)\">.*^\1^p" *.docbook | unique` - -# Check for entries which are referenced but not defined. -for ENTRY in $REFERENCED_ENTRIES; do - if ! echo $DEFINED_ENTRIES | grep $ENTRY - > /dev/null 2>&1; then - echo "'$ENTRY' referenced but not defined!" - fi -done |