Created attachment 148431 [details]
Add dependencies for share/pgpkeys/Makefile targets
I do daily builds of the website locally and noticed only yesterday, after noticing missing keys, that the local pgpkeyring.txt was different (and smaller) than the copy on the public site. Investigation showed that, notwithstanding updates via svn to the contents of the pgpkeys directory, the keyring.xml, and hence the pgpkeyring.txt file, were not being built.
The attached patch adds dependencies to trigger the building of those targets when they already exist and when dependencies have been updated. Without the dependencies, existing targets were always up-to-date.
I update my doc tree daily via svn and then build. I don't start fresh every day because I only want to build the updates and not waste time building the whole site daily.
Thank you to all who maintain the project's documentation and web site!