[PATCH] rawmemchr: modernize and simplify

2021-08-20 Thread Paul Eggert
* lib/rawmemchr.c (HAVE_RAWMEMCHR): Assume it’s not defined; otherwise this file would not be compiled. Include limits.h, stdalign.h, stdint.h, verify.h. (rawmemchr): Prefer uintptr_t to unsigned long and to size_t when it’s the better type. Verify that longword lacks padding. Use alignof

Re: bug#50116: Text on GNU grep webpage far too big

2021-08-20 Thread Paul Eggert
Thanks for reporting the problem. I installed the attached patch to the Gnulib web page's manual.css. It fixed things for me after I forced my browser to reload. Index: manual.css === RCS file: /web/gnulib/gnulib/manual.css,v

Fwd: bug#50116: Text on GNU grep webpage far too big

2021-08-20 Thread Gavin Smith
Does anybody have access to https://www.gnu.org/software/gnulib/manual.css and could the CSS lines mentioned below removed? These CSS lines would be a problem with any Texinfo manual built with Texinfo 6.8 due to changes in the structure of the HTML (enclosing an entire section in rather than