github/repmgr
1
0
Fork 0
mirror of https://github.com/EnterpriseDB/repmgr.git synced 2026-06-01 03:39:05 +00:00
Code Issues Packages Projects Releases 1 Wiki Activity
1,365 Commits 44 Branches 68 Tags
d8e4c54ea415729210138d41e1b4db2623ce2bc2
Commit Graph

5 Commits

Author SHA1 Message Date
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