groff
[Top][All Lists]
Advanced

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

Re: [Groff] grohtml patch


From: Werner LEMBERG
Subject: Re: [Groff] grohtml patch
Date: Mon, 07 Jul 2003 07:53:47 +0200 (CEST)

> > One minor suggestion: Could you repeat the navigation bar at the
> > bottom of the page too?  Thus, when the reader comes to the end of
> > a page, they can navigate without having to scroll back to the top
> > of the page.
> 
> here is the patch again with the implemented suggestion,

Applied, thanks!


    Werner

reply via email to

[Prev in Thread] Current Thread [Next in Thread]