Hi,

It looks like this command is ignored when requesting makeinfo to output
html.

It is working fine when generating pdf.

Not sure about the .info output.

Thanks

Hilaire


-- 
Dr. Geo
http://drgeo.eu


Reply via email to