GNU bug report logs - #50116
Text on GNU grep webpage far too big

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Gavin Smith <gavinsmith0123 <at> gmail.com>
Subject: bug#50116: closed (Re: bug#50116: Text on GNU grep webpage far
 too big)
Date: Fri, 20 Aug 2021 19:38:01 +0000

[Message part 1 (text/plain, inline)]

Your bug report

#50116: Text on GNU grep webpage far too big

which was filed against the grep package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to 50116 <at> debbugs.gnu.org.

-- 
50116: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=50116
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: Paul Eggert <eggert <at> cs.ucla.edu>
To: Steve Ward <planet36 <at> gmail.com>
Cc: Gavin Smith <gavinsmith0123 <at> gmail.com>, Gnulib bugs <bug-gnulib <at> gnu.org>,
 Texinfo <bug-texinfo <at> gnu.org>, 50116-done <at> debbugs.gnu.org
Subject: Re: bug#50116: Text on GNU grep webpage far too big
Date: Fri, 20 Aug 2021 12:37:13 -0700

[Message part 3 (text/plain, inline)]

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.

[gnulib-manual-css.diff (text/x-patch, attachment)]

[Message part 5 (message/rfc822, inline)]

From: Gavin Smith <gavinsmith0123 <at> gmail.com>
To: bug-grep <at> gnu.org
Subject: Text on GNU grep webpage far too big
Date: Thu, 19 Aug 2021 07:11:14 +0100

https://www.gnu.org/software/grep/manual/grep.html

This documentation is not usable because the text is far too big.  I assume
it is being enlarged with a CSS file.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.