chiark / gitweb /
tests/filter/extract-doctests: Use $withspcs more