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 html. + + To produce HTML documentation with the stylesheet used on postgresql.org instead of the + default simple style use: + +doc/src/sgml$ make STYLE=website html + + + To create a proper index, the build might process several identical stages. If you do not care about the index, and just want to