diff options
| author | Robert Haas | 2015-07-29 15:16:55 +0000 |
|---|---|---|
| committer | Robert Haas | 2015-07-29 15:18:32 +0000 |
| commit | 5f1066074cd85b829371a4123839d16f52553c3d (patch) | |
| tree | 32039926af2f31eee82e905126fae227a95a306e /doc/src/sgml/docguide.sgml | |
| parent | 3bc9356ddd52443e209fb60b94a2c29d66259d62 (diff) | |
Document how to build the docs using the website style.
Craig Ringer
Diffstat (limited to 'doc/src/sgml/docguide.sgml')
| -rw-r--r-- | doc/src/sgml/docguide.sgml | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/doc/src/sgml/docguide.sgml b/doc/src/sgml/docguide.sgml index e0ae262b8a5..6f896b565f4 100644 --- a/doc/src/sgml/docguide.sgml +++ b/doc/src/sgml/docguide.sgml @@ -584,6 +584,15 @@ checking for osx... osx </para> <para> + To produce HTML documentation with the stylesheet used on <ulink + url="http://postgresql.org/docs/current">postgresql.org</> instead of the + default simple style use: +<screen> +<prompt>doc/src/sgml$ </prompt><userinput>make STYLE=website html</userinput> +</screen> + </para> + + <para> To create a proper index, the build might process several identical stages. If you do not care about the index, and just want to proof-read the output, use <literal>draft</>: |