Neil Conway writes:
> This patch fixes a typo or two in INSTALL, and updates it for some of> the changes in 7.3.
The INSTALL file is generated from DocBook sources.
-- Peter Eisentraut peter_e(at)gmx(dot)net