Re: how to modify the navfooter

2018-08-14 Thread Peter Eisentraut
On 14/08/2018 23:56, Richard Swagerman wrote: > What baffles me is that the generated html files also include these tags > at the bottom of each file: > >   > I do not see anything in stylesheet.xsl that looks anything like this.  > Does anyone know where the "magic incantations" are that generate

Re: how to modify the navfooter

2018-08-14 Thread Richard Swagerman
Thank you Tom and Jonathan for your responses. I am now looking at the stylesheet.xsl from after 9.6, and I do see these lines in the file: The generated html files clearly have a div tag and a table tag that match this. So I can understand what generates the header. What baffles me is that

Re: how to modify the navfooter

2018-08-07 Thread Jonathan S. Katz
> On Aug 7, 2018, at 6:21 PM, Richard Swagerman > wrote: > > Where is the content of the navfooter established? > I would like to make some modifications to this footer, but I am unable to > figure out where the source that generates it. > > I am building the documentation following the instr

Re: how to modify the navfooter

2018-08-07 Thread Tom Lane
Richard Swagerman writes: > Where is the content of the navfooter established? > I would like to make some modifications to this footer, but I am unable to > figure out where the source that generates it. It's not in the XML doc sources, for sure. I believe our website wraps the HTML generated f

how to modify the navfooter

2018-08-07 Thread Richard Swagerman
Where is the content of the navfooter established? I would like to make some modifications to this footer, but I am unable to figure out where the source that generates it. I am building the documentation following the instructions from "Building The Documentation" in Appendix J, currently on 9.6.