Re: [help-texinfo] HTML output: license notices

2019-01-25 Thread Gavin Smith
On Fri, Jan 25, 2019 at 01:38:33AM -0500, Ineiev wrote: > Would it make sense as a feature request? current GNU website guidelines > say every page should have copyright and license notices, and I'm not > sure if including them in comments is the optimal way; at least, > the boilerplate makes them

Re: [help-texinfo] HTML output: license notices

2019-01-25 Thread Patrice Dumas
On Fri, Jan 25, 2019 at 01:38:33AM -0500, Ineiev wrote: > On Thu, Jan 24, 2019 at 06:59:34PM +, Gavin Smith wrote: > > > > > > Currently, Texinfo outputs copyright and license notices in HTML > > > comments, like in [0]; is there an option to put it in a footer > > > of the page visible for