From 5f1066074cd85b829371a4123839d16f52553c3d Mon Sep 17 00:00:00 2001
From: Robert Haas <rhaas@postgresql.org>
Date: Wed, 29 Jul 2015 11:16:55 -0400
Subject: [PATCH] Document how to build the docs using the website style.

Craig Ringer
---
 doc/src/sgml/docguide.sgml | 9 +++++++++
 1 file changed, 9 insertions(+)

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
@@ -583,6 +583,15 @@ checking for osx... osx
     subdirectory <filename>html</filename>.
    </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
-- 
GitLab