@@ -386,7 +386,8 @@ website: $(MAIN) html
386386 cp $(web_src)/S5DEMO $(web_dest)/ ; \
387387 cp $(web_src)/header.html $(web_dest)/ ; \
388388 cp $(web_src)/footer.html $(web_dest)/ ; \
389− cp $(web_src)/mkdemos.sh $(web_dest)/ ; \
389+ cp $(web_src)/mkdemos.pl $(web_dest)/ ; \
390+ cp $(web_src)/demos $(web_dest)/ ; \
390391 cp $(web_src)/Makefile $(web_dest)/ ; \
391392 PANDOC_PATH=$(shell pwd) make -C $(web_dest) ; \
392393 ) || { rm -rf $(web_dest); exit 1; }