Received: from localhost (unknown [200.46.208.211]) by mail.postgresql.org (Postfix) with ESMTP id B8CA0632F0D for ; Tue, 14 Jul 2009 20:11:57 -0300 (ADT) Received: from mail.postgresql.org ([200.46.204.86]) by localhost (mx1.hub.org [200.46.208.211]) (amavisd-maia, port 10024) with ESMTP id 68766-09 for ; Tue, 14 Jul 2009 20:11:40 -0300 (ADT) X-Greylist: from auto-whitelisted by SQLgrey-1.7.6 Received: from alexis.jtlnet.com (alexis.jtlnet.com [69.36.9.81]) by mail.postgresql.org (Postfix) with ESMTP id 27B4A632582 for ; Tue, 14 Jul 2009 20:11:47 -0300 (ADT) Received: from [192.168.10.103] (cpe-075-177-154-027.nc.res.rr.com [::ffff:75.177.154.27]) (TLS: TLSv1/SSLv3,256bits,AES256-SHA) by alexis.jtlnet.com with esmtp; Tue, 14 Jul 2009 19:09:32 -0400 id 0008BBBF.4A5D102D.00007E25 Message-ID: <4A5D10AD.6060305@dunslane.net> Date: Tue, 14 Jul 2009 19:11:41 -0400 From: Andrew Dunstan User-Agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.8.0.12) Gecko/20071019 Fedora/1.0.9-3.fc6 pango-text SeaMonkey/1.0.9 MIME-Version: 1.0 To: Richard Huxton CC: Dimitri Fontaine , PostgreSQL-development Subject: Re: navigation menu for documents References: <4A5CE7EB.20809@pgexperts.com> <27A6A4DD-A84D-4C96-A7E1-38017070B7D1@hi-media.com> <4A5D04F1.4070801@dunslane.net> <4A5D0D43.3030902@archonet.com> In-Reply-To: <4A5D0D43.3030902@archonet.com> Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 7bit X-Virus-Scanned: Maia Mailguard 1.0.1 X-Spam-Status: No, hits=0.066 tagged_above=0 required=5 tests=AWL=0.066 X-Spam-Level: X-Archive-Number: 200907/847 X-Sequence-Number: 141469 Richard Huxton wrote: > Andrew Dunstan wrote: >> >> Yes, really. What you suggest here is just not adequate, IMNSHO. I >> don't want to have to scroll to the top or bottom of the page to get >> navigation, and I want to be able to see the navigation and go where >> I want directly. > > Are you talking about the online manuals, or something else here? > I don't care if we don't provide this for the online manuals on postgresql.org - I'm quite happy to install it on my own server if necessary. But I am talking about the HTML docs that come from our /doc directory. And I bet if we had the option of better navigation, our online users would want us to provide it. cheers andrew