doc: Fix rebuild of deleted PDF files
$(MAKE) doesn't rebuild deleted intermediate files, so specify them
as dependencies of the phony target local-WWW. To update webdoc
correctly, invoke $(MAKE) recursively to evaluate whether dependencies
are up-to-date after they've been rebuilt.
Edited by Werner Lemberg