bug#34201: Make @setfilename optional in Texinfo files

2019-03-31 Thread Gavin Smith
Is there anybody who has time to look at this issue? The requirement for a @setfilename line is an unnecessary hurdle to getting Texinfo and Automake working together. It has been unnecessary for several years now. I have a copyright assignment in place for Automake with the FSF, so all that

Re: bug#34201: Make @setfilename optional in Texinfo files

2019-03-31 Thread Gavin Smith
Is there anybody who has time to look at this issue? The requirement for a @setfilename line is an unnecessary hurdle to getting Texinfo and Automake working together. It has been unnecessary for several years now. I have a copyright assignment in place for Automake with the FSF, so all that