rsync -rl $(outdir)/offline-root/ $(DESTDIR)$(webdir)
$(MAKE) -C Documentation/user local-install-WWW
$(MAKE) -C Documentation/user install-info
rsync -rl $(outdir)/offline-root/ $(DESTDIR)$(webdir)
$(MAKE) -C Documentation/user local-install-WWW
$(MAKE) -C Documentation/user install-info