@@ -344,7 +344,7 @@ make_page:=./$(MAIN) -s -B $(web_src)/header.html \
344 -H $(web_src)/css
344 -H $(web_src)/css
345cleanup_files+=$(web_dest)
345cleanup_files+=$(web_dest)
346website: $(web_dest)
346website: $(web_dest)
347−$(web_dest)/: $(MAIN) html
347+$(web_dest)/: $(MAIN) html
348 -rm -rf $(web_dest)
348 -rm -rf $(web_dest)
350 mkdir $(web_dest); \
350 mkdir $(web_dest); \
@@ -363,6 +363,10 @@ $(web_dest)/: $(MAIN) html
363 sed -e 's/@WINDOWS_PKG_NAME@/$(win_pkg_name)/g' | \
363 sed -e 's/@WINDOWS_PKG_NAME@/$(win_pkg_name)/g' | \
364 sed -e 's/@VERSION@/$(VERSION)/g' | \
364 sed -e 's/@VERSION@/$(VERSION)/g' | \
365 $(make_page) > $(web_dest)/index.html; \
365 $(make_page) > $(web_dest)/index.html; \
366+ cp README $(web_dest)/README; \
367+ cp $(web_src)/S5DEMO $(web_dest)/S5DEMO; \
368+ sh $(web_src)/demos.sh $(web_dest) | \
369+ $(make_page) > $(web_dest)/demos.html; \
366 ) || { rm -rf $(web_dest); exit 1; }
370 ) || { rm -rf $(web_dest); exit 1; }
368.PHONY: distclean clean
372.PHONY: distclean clean