* Michael Kerrisk: > Hi Florian, > > On 10/5/20 9:12 AM, Florian Weimer wrote: >> * Paul Eggert: >> >>> On 10/2/20 12:01 PM, Alejandro Colomar wrote: >>>> If you propose not to document the stdint types either, >>> >>> This is not a stdint.h issue. __int128 is not in stdint.h and is not a >>> system data type in any real sense; it's purely a compiler >>> issue. Besides, do we start repeating the GCC manual too, while we're >>> at it? At some point we need to restrain ourselves and stay within the >>> scope of the man pages. >> >> The manual pages also duplicate the glibc manual, and as far as I know, >> it's what programmers actually read. (Downstream, we receive many more >> man-pages bugs than glibc or GCC manual bugs.) Most developers use >> distributions > > I presume by most you mean "Debian + Ubuntu"? (The certainly > reflects what I see.) Yes, exactly. And other distributions inspired by the Debian interpretation of the DFSG. >> which do not ship the glibc or GCC manual for licensing >> policy reasons, so the GNU manuals are not installed locally. > > I hadn't quite clicked to this point. So, Debian (and thus > Ubuntu) do not ship the glibc manual because of GNU FDL. That's > unfortunate. >From Debian's point of view, only GFDL plus Invariant Sections is problematic, but both the glibc and GCC manuals have them. Plain GFDL would still be awkward for upstream, but fine from a policy standpoint. Thanks, Florian -- Red Hat GmbH, https://de.redhat.com/ , Registered seat: Grasbrunn, Commercial register: Amtsgericht Muenchen, HRB 153243, Managing Directors: Charles Cachera, Brian Klemm, Laurie Krebs, Michael O'Neill
