@@ -308,18 +308,20 @@ $(web_dest)/: $(MAIN) html $(tarball_name)
308308 exit 1; \
309309 }
310310 -rm -rf $(web_dest)
311− mkdir $(web_dest)
312− cp -r html $(web_dest)/doc
313− cp $(osx_dmg_name) $(web_dest)/
314− cp ../$(deb_main) $(web_dest)/
315− cp $(tarball_name) $(web_dest)/
316− cp $(web_src)/*.css $(web_dest)/
317− $(make_page) README > $(web_dest)/README.html
318− $(make_page) INSTALL > $(web_dest)/INSTALL.html
319− $(make_page) changelog > $(web_dest)/history.html
320− sed -e 's/@TARBALL_NAME@/$(tarball_name)/g' $(web_src)/index.txt | \
321− sed -e 's/@DEB_NAME@/$(deb_main)/g' | \
322− $(make_page) > $(web_dest)/index.html
311+ ( \
312+ mkdir $(web_dest); \
313+ cp -r html $(web_dest)/doc; \
314+ cp $(osx_dmg_name) $(web_dest)/; \
315+ cp ../$(deb_main) $(web_dest)/; \
316+ cp $(tarball_name) $(web_dest)/; \
317+ cp $(web_src)/*.css $(web_dest)/; \
318+ $(make_page) README > $(web_dest)/README.html; \
319+ $(make_page) INSTALL > $(web_dest)/INSTALL.html; \
320+ $(make_page) changelog > $(web_dest)/history.html; \
321+ sed -e 's/@TARBALL_NAME@/$(tarball_name)/g' $(web_src)/index.txt | \
322+ sed -e 's/@DEB_NAME@/$(deb_main)/g' | \
323+ $(make_page) > $(web_dest)/index.html; \
324+ ) || { rm -rf $(web_dest); exit 1; }
323325
324326.PHONY: distclean clean
325327distclean: clean