extend-diff-ignore=doc/html/\.*|doc/parallel\.info|doc/parallel\.texi|src/Makefile|src/config\.h|src/config\.log|src/config\.status|src/gl/Makefile|src/oct-alt-includes\.h|stamp-h1
