Hi, My system comes with Texinfo 5.2, I guess it is a problem related to this specific version.
Are you using the latest incarnation of Texinfo? Thanks Hilaire Le 29/10/2016 à 20:38, Gavin Smith a écrit : > Works for me. See attached files. -- Dr. Geo http://drgeo.eu
