diff options
author | Tom Lane | 2012-05-10 22:02:37 +0000 |
---|---|---|
committer | Tom Lane | 2012-05-10 22:02:50 +0000 |
commit | e3cdc1532caaec4652b41d1114c71aa3872a8f6f (patch) | |
tree | a68b10ad0ccd9fde69a0a0eae37e36f20e393340 /src/backend/access/gist/gist.c | |
parent | cb2f2873d6b81ad7f0a9733ba738bfac0746fb7b (diff) |
Tweak documentation wording to avoid "pdfendlink" failure.
HEAD documentation was failing to build as US PDF for me, because a link
to "CREATE CAST" was getting split across pages. Adjust wording to
remove this rather gratuitous cross-reference.
Diffstat (limited to 'src/backend/access/gist/gist.c')
0 files changed, 0 insertions, 0 deletions