@@ -358,12 +358,11 @@ deb: debian
358358.PHONY: website
359359web_src:=web
360360web_dest:=web/pandoc
361−make_page:=./$(MAIN) -s -B $(web_src)/header.html \
361+make_page:=./$(MAIN) -s -S -B $(web_src)/header.html \
362362 -A $(web_src)/footer.html \
363363 -H $(web_src)/css
364364cleanup_files+=$(web_dest)
365−website: $(web_dest)
366−$(web_dest)/: $(MAIN) html
365+website: $(MAIN) html
367366 -rm -rf $(web_dest)
368367 ( \
369368 mkdir $(web_dest); \
@@ -381,6 +380,7 @@ $(web_dest)/: $(MAIN) html
381380 sed -e 's/@WINDOWS_PKG_NAME@/$(win_pkg_name)/g' | \
382381 sed -e 's/@VERSION@/$(VERSION)/g' | \
383382 $(make_page) > $(web_dest)/index.html; \
383+ $(make_page) $(web_src)/features.txt > $(web_dest)/features.html; \
384384 cp README $(web_dest)/ ; \
385385 ./$(MAIN) -s -w latex README > $(web_dest)/README.tex ; \
386386 cp $(web_src)/myheader.tex $(web_dest)/ ; \