Since doc/src/sgml already builds the HTML docs twice to resolve index
Peter Eisentraut <peter_e@gmx.net>
Since doc/src/sgml already builds the HTML docs twice to resolve index entries, we don't have to do two builds here as well.
Files
| Path | Change | +/− |
|---|---|---|
| doc/src/Makefile | modified | +1 −4 |