extend-diff-ignore=doc/html/\.*|doc/parallel\.info|doc/parallel\.texi
