[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Need some help to remove non-free documentation

From: Nicolas Goaziou
Subject: Re: Need some help to remove non-free documentation
Date: Thu, 25 Oct 2018 09:28:14 +0200
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/26.1 (gnu/linux)


address@hidden (Ludovic Courtès) writes:

Thank you for your answer.

> What I would do in a ‘snippet’ or the origin is:
>   1. rm -rf doc
>   2. Remove “doc” from the ‘SUBDIRS’ variable of the top-level

That would remove all documentation. However, only a tiny part of it is
non-free. I'm trying to preserve some of it.

> That way you won’t need to regenerate the build files.
> Does that make sense or am I too naive?

IIUC, this will unfortunately not cut it.

> (Besides we should get in touch with the folks at Grenoble University to
> see if they would agree to liberating the docs.  Perhaps Debian people
> already attempted?)

Debian encounters the same problem, see

I don't know if they attempted to contact the author, tho.


Nicolas Goaziou

reply via email to

[Prev in Thread] Current Thread [Next in Thread]