On Wed, Aug 28, 2013 at 11:52:28PM +0200, Andreas Enge wrote: > On Wed, Aug 28, 2013 at 11:17:18PM +0200, Ludovic Courtès wrote: > > Regarding the patch: I think the duplicate copyright notice is needed so > > that it appears in the Info output. Could you check that? > Indeed, so I should add it again.
Done in commit 46cb9da2. I enclosed it into @ifinfo - @end ifinfo, so it appears only in the info output; the dvi, ps and pdf outputs already contain the first copyright notice. Andreas
