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

bug-texinfo

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

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

From:	Paul Eggert
Subject:	Re: bug#50116: Text on GNU grep webpage far too big
Date:	Fri, 20 Aug 2021 12:37:13 -0700
User-agent:	Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.11.0

Thanks for reporting the problem. I installed the attached patch to theGnulib web page's manual.css. It fixed things for me after I forced mybrowser to reload.

gnulib-manual-css.diff
Description: Text Data

[Prev in Thread]

Current Thread

[Next in Thread]

Fwd: bug#50116: Text on GNU grep webpage far too big, Gavin Smith, 2021/08/20
- Re: bug#50116: Text on GNU grep webpage far too big, Paul Eggert <=

Prev by Date: Fwd: bug#50116: Text on GNU grep webpage far too big
Next by Date: Build fail
Previous by thread: Fwd: bug#50116: Text on GNU grep webpage far too big
Next by thread: Build fail
Index(es):
- Date
- Thread