chiark / gitweb /
tests/filter/extract-doctests: Improve an error message