I tested with a fresh build of texinfo 7.0-dev and 6.0.

-- 
Arsen Arsenović