diff options
| author | Tom Lane | 2013-03-23 18:06:33 +0000 |
|---|---|---|
| committer | Tom Lane | 2013-03-23 18:06:33 +0000 |
| commit | cdc67938c086104ef7a0e2f1e6912e9ee0ba4c85 (patch) | |
| tree | 75935b6215795f4383959d769b40d21187e8f241 /src | |
| parent | 5b86fedfb57ea943f883a13c6d50c5a9e2a1cc57 (diff) | |
Don't put <indexterm> before <term> in <varlistentry> items.
Doing that results in a broken index entry in PDF output. We had only
a few like that, which is probably why nobody noticed before.
Standardize on putting the <term> first.
Josh Kupershmidt
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions