6 Commits

Author	SHA1	Message	Date
Ian Barwick	10425d6967	doc: rename file endings from .sgml to .xml ... As they are now XML files. In PostgreSQL itself they remain with the .sgml suffix for backwards compatibility, but that's not important for us.	2019-05-20 15:38:40 +09:00
Ian Barwick	d43b40c5c6	doc: enable creation of PDF files	2019-05-10 10:50:49 +09:00
Ian Barwick	9d7a3e24af	doc: tweak Makefile	2019-05-10 10:25:07 +09:00
Ian Barwick	edf3aa6687	doc: restore original stylesheet for now	2019-05-09 16:24:41 +09:00
Ian Barwick	3804c95019	doc: (re)add single page HTML generation	2019-05-09 16:24:26 +09:00
Ian Barwick	409eb47e2a	doc: convert documentation to DocBook XML ... This brings the repmgr documentation build system in line with that used by the main PostgreSQL project, and removed the restriction that documentation must be built against PostgreSQL 9.6 or earlier. Main formatting changes are: - convert empty-element tags (mainly <xref/>) - put <indexterm> sections in the correct location - correct usage of various entities.	2019-05-09 16:24:21 +09:00