Re: GNAT documentation in Debian

[Markus E Leypold <development-2006-8ecbb5cc8aREMOVETHIS@ANDTHATm-e-leypold.de>]

Ludovic Brenta <ludovic@ludovic-brenta.org> writes:

> Markus E Leypold writes:
>> Michael Bode writes:
>>
>>> I understand that GNAT documentation is considered non-free by
>>> Debian. But I can't even find it in the non-free section. For now I've
>>> installed gnat-4.1-doc_4.1.1-15ubuntu1_all.deb in my Debian
>>> system. But I don't believe this is the intended solution.
>>
>> I have gnat-doc in my debian system: It seems to contain:
>>
>> /usr/share/doc/gnat-doc/gnat_rm/
>> /usr/share/doc/gnat-doc/gnat_ug/
>> /usr/share/info/gnat_ug.info.gz
>> /usr/share/info/gnat_rm.info.gz
>>
>> Of course that is still 3.15p, because I'm still running Sarge ...
>
> None of the GCC maintainers (including myself) having sufficient time,
> energy or interest to produce the non-free doc packages, Nikita

Yes, I now see that I have non-free in apt/sources (but that was not
the question anyway).

> V. Youshchenko took it upon himself.  Unfortunately, he lacked the
> time, energy or interest to include the Ada docs.  You are welcome to
> file a wishlist bug against the source package `gcc-4.1-doc-non-dfsg',
> or contribute the necessary patches yourself.

Me? I wasn't the OP and I'm literally stuck with 3.15p for some
time. So the 3.15p docs are OK with me :-). And I'm -- out of
principle and bad experience -- only filing bugs into debian bug
tracking that I myself experienced. Sarge does have gnat-doc, Sarge is
the stable version.

And BTW: The separation into non-free and free is OK with me (I
basically support the policy behind that), but, your and the other
maintainers merits notwirthstanding, a "free" compiler, which
unfortunately comes without docs ("and we don't care for that") is a
bit of an imposition.

Regards -- Markus