\input texinfo @c -*-texinfo-*-

    @node Acknowledgements, , Manual History, Preface 
    @unnumberedsec K@"osz@"onetny@'{@dotless{i}}lv@'an@'it@'as

Works for me.  Aside from the aux file stuff getting printed on stdout
because you don't have an @setfilename.

Reply via email to