post-html: rsync $(rsync_options) $(example_dirs) $$USER@$(web_host):$(web_path)