No, you don't.

Evidently I messed up for texinfo 5.1.  Sorry.  Shoot me.

    +@include doclicense.texi

How about naming the file fdl.texi, like virtually every other package does?

k

Reply via email to