Re: Request to remove info files

["John E. Davis" <davis@xxxxxxxxxxxxx>]

Jörg Sommer <joerg@xxxxxxxxxxxx> wrote:
> somewhen you've mentioned the info pages are outdated and should be
> removed. Can you do it, please? In Debian, we have the problem that the
> info pages mention the file jed.ti as source file and because this file
> is not in the source tree, these file violate the GPL. We can't ship
> them.

The Makefile in the latest svn snapshot will not install the info
files.  They are still part of the distribution for historical
purposes but need not be distributed in a binary package.
I hope this minor change is sufficient.  Thanks, --John

--------------------------
To unsubscribe send email to <jed-users-request@xxxxxxxxxxx> with
the word "unsubscribe" in the message body.
Need help? Email <jed-users-owner@xxxxxxxxxxx>.