diff options
Diffstat (limited to 'doc/crosslink.sh')
-rwxr-xr-x | doc/crosslink.sh | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/doc/crosslink.sh b/doc/crosslink.sh new file mode 100755 index 0000000..d701522 --- /dev/null +++ b/doc/crosslink.sh @@ -0,0 +1,15 @@ +#!/bin/bash +# +# So many cross links to maintain. Here is a script that I've used to +# validate things at least conform to some structure: +# +for x in *.? ; do + y=$(grep -F '.so m' ${x} | awk '{print $2}' | sed -e 's/man..//') + if [ -z "${y}" ]; then + continue + fi + echo + echo "###########" + echo "${x} => ${y}" + grep -F "${x%.*}" "${y}" +done |