public inbox for [email protected]  

help / color / mirror / Atom feed

From: Karl O. Pinc <[email protected]>
To: Brar Piening <[email protected]>
Cc: Peter Eisentraut <[email protected]>
Cc: Alvaro Herrera <[email protected]>
Cc: Tom Lane <[email protected]>
Cc: vignesh C <[email protected]>
Cc: Ian Lawrence Barwick <[email protected]>
Cc: pgsql-hackers <[email protected]>
Subject: Re: doc: add missing "id" attributes to extension packaging page
Date: Thu, 13 Apr 2023 10:53:31 -0500
Message-ID: <[email protected]> (raw)
In-Reply-To: <[email protected]>
References: <[email protected]>
	<[email protected]>
	<[email protected]>
	<[email protected]>
	<[email protected]>
	<[email protected]>
	<[email protected]>
	<[email protected]>

On Thu, 13 Apr 2023 16:01:35 +0200
Brar Piening <[email protected]> wrote:

> On 13.04.2023 at 10:31, Peter Eisentraut wrote:
> > The first patch has been committed.  
> 
> Yay - thank you!
> 
> > The second patch should be sent to pgsql-www for integrating into
> > the web site.  
> Done via [1]. Thanks for the hint.
> 
> > Side project: I noticed that these new hover links don't appear in
> > the single-page HTML output (make postgres.html), even though the
> > generated HTML source code looks correct.  Maybe someone has an idea
> > there.  
> I feel responsible for the feature to work for all use cases where it
> makes sense. I'll investigate this and post back.

Looks to me like the ">" in the CSS was transformed into the &gt;
HTML entity when the stylesheet was included into the single-file
HTML.

Regards,

Karl <[email protected]>
Free Software:  "You don't pay back, you pay forward."
                 -- Robert A. Heinlein

view thread (35+ messages)  latest in thread

reply

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Reply to all the recipients using the --to and --cc options:
  reply via email

  To: [email protected]
  Cc: [email protected], [email protected], [email protected], [email protected], [email protected], [email protected], [email protected]
  Subject: Re: doc: add missing "id" attributes to extension packaging page
  In-Reply-To: <[email protected]>

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

This inbox is served by agora; see mirroring instructions
for how to clone and mirror all data and code used for this inbox