[DOCS] search box and page banner when building html - Mailing list pgsql-docs

From Richard Swagerman
Subject [DOCS] search box and page banner when building html
Date
Msg-id CAL8bM3YstXTzbp0wqG_MWRNy_P00NnwyO0EemiKRBjNoDKDXWg@mail.gmail.com
Whole thread Raw
Responses Re: [DOCS] search box and page banner when building html
List pgsql-docs
When I build the documentation following the instructions from "Building The Documentation" in Appendix J, it does not produce the banner and search box that are included with the published PostgreSQL documentation at https://www.postgresql.org/docs/9.6/static/.

I am using the command:
make STYLE=website html

Is there a way to get something like the banner and search box included when using the generated html?

I would appreciate and suggestions since I am not familiar with building websites.
...Rick Swagerman

pgsql-docs by date:

Previous
From: "David G. Johnston"
Date:
Subject: Re: [DOCS] mistype
Next
From: Magnus Hagander
Date:
Subject: Re: [DOCS] search box and page banner when building html