@@ -363,8 +363,10 @@ $(web_dest)/: $(MAIN) html
363363 sed -e 's/@WINDOWS_PKG_NAME@/$(win_pkg_name)/g' | \
364364 sed -e 's/@VERSION@/$(VERSION)/g' | \
365365 $(make_page) > $(web_dest)/index.html; \
366− cp README $(web_dest)/README; \
367− cp $(web_src)/S5DEMO $(web_dest)/S5DEMO; \
366+ cp README $(web_dest)/ ; \
367+ cp $(web_src)/S5DEMO $(web_dest)/ ; \
368+ cp $(web_src)/header.html $(web_dest)/ ; \
369+ cp $(web_src)/footer.html $(web_dest)/ ; \
368370 sh $(web_src)/demos.sh $(web_dest) | \
369371 $(make_page) > $(web_dest)/demos.html; \
370372 ) || { rm -rf $(web_dest); exit 1; }