We could keep the license.texi file and @include-s

I see what you're saying, but I prefer to just have the license text in
the files normally, the way it was originally. Thanks. -k

Reply via email to