misc/check-doc.sh