Hi Collin, > Date: 2026-08-01 16:26:18-0700 > From: Collin Funk > > Alejandro Colomar writes: > > >> Still, for the next 10 years, C programmers would debate whether they should > >> #include or #include . Different C programmers in the > >> same team will have different personal opinions. Thus, programmer team leads > >> will have to establish coding styles/guidelines which say which header to > >> include in this case. > > > > I find that an acceptable result. > > But you aren't the only one who uses or references the man pages. From > this thread, many people are not happy with the change. > > > #include's aren't that important. When reading code, the section of > > #include's is unimportant as long as it works. > > In this case they won't "always work", hence your request that gnulib > and illumos make changes to accommodate your preferences. I've now carefully documented that gnulib and Illumos don't provide this header. Thanks! Have a lovely night! Alex --