Sorry if this is known issue.
I downloaded integrated HTML manual files(posrgresql.tar.gz) from this URL
http://postgresql.rmplc.co.uk/users-lounge/docs/#7.1
index.html size is 0 byte.
Hope this helps.
-- Yasuo Ohgaki