texinfo-test-double-space.patch
