diff options
| author | Amit Kapila | 2023-03-31 03:29:55 +0000 |
|---|---|---|
| committer | Amit Kapila | 2023-03-31 03:29:55 +0000 |
| commit | ed94e8563e036f3b42519f1c3b5ae1361e2a59bf (patch) | |
| tree | 29e976f0d24021da78c9361d4ef7bc94927999d0 /src/tools/git-external-diff | |
| parent | f95c1cd6b2fd7d70e219ea8c5fabf2c0a75d7705 (diff) | |
Add XML ID attributes to create_publication.sgml.
This commit adds XML ID attributes to all varlistentries in
create_publication.sgml. This allows us to include links to refer to
publication options, making documents more readable.
Author: Kuroda Hayato
Reviewed-by: Peter Smith, Amit Kapila
Discussion: https://postgr.es/m/TYAPR01MB58668219FEA4EC231486A433F58E9@TYAPR01MB5866.jpnprd01.prod.outlook.com
Diffstat (limited to 'src/tools/git-external-diff')
0 files changed, 0 insertions, 0 deletions