David Steele 33fa2ede7d Add Centos/RHEL 7 option to documentation build. ... Centos/RHEL 7 builds can be specified with --var=os-type=centos7. Also added to the documentation release and CI builds.		2018-12-05 07:12:28 -05:00
..
dtd	Documentation may be built with user-specified packages.	2018-12-04 13:17:55 -05:00
coding.xml	Add coding standards for String constants.	2018-12-04 11:46:25 -05:00
index.xml	Update introduction to be pithy.	2018-09-19 18:26:12 -04:00
reference.xml	Add checksum delta for incremental backups.	2018-09-19 11:12:45 -04:00
release.xml	Add Centos/RHEL 7 option to documentation build.	2018-12-05 07:12:28 -05:00
test.xml	Rename db-* options to pg-* and backup-* options to repo-* to improve consistency.	2018-02-03 18:27:38 -05:00
user-guide.xml	Add Centos/RHEL 7 option to documentation build.	2018-12-05 07:12:28 -05:00