github/repmgr
1
0
Fork 0
mirror of https://github.com/EnterpriseDB/repmgr.git synced 2026-03-25 16:16:29 +00:00
Code Issues Packages Projects Releases 1 Wiki Activity

doc: rename file endings from .sgml to .xml

Browse Source 
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.
This commit is contained in:
Ian Barwick
2019-05-20 15:37:08 +09:00
parent cbaa890a22
commit 10425d6967
57 changed files with 104 additions and 105 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
doc/.gitignore vendored
View File

@@ -1,10 +1,9 @@
HTML.index
bookindex.sgml
bookindex.xml
html-stamp
html/
nochunks.dsl
repmgr.html
version.sgml
version.xml
*.fo
*.pdf