@@ -358,12 +358,11 @@ deb: debian
358.PHONY: website
358.PHONY: website
359web_src:=web
359web_src:=web
360web_dest:=web/pandoc
360web_dest:=web/pandoc
361−make_page:=./$(MAIN) -s -B $(web_src)/header.html \
361+make_page:=./$(MAIN) -s -S -B $(web_src)/header.html \
362 -A $(web_src)/footer.html \
362 -A $(web_src)/footer.html \
363 -H $(web_src)/css
363 -H $(web_src)/css
364cleanup_files+=$(web_dest)
364cleanup_files+=$(web_dest)
366−$(web_dest)/: $(MAIN) html
365+website: $(MAIN) html
367 -rm -rf $(web_dest)
366 -rm -rf $(web_dest)
369 mkdir $(web_dest); \
368 mkdir $(web_dest); \
@@ -381,6 +380,7 @@ $(web_dest)/: $(MAIN) html
381 sed -e 's/@WINDOWS_PKG_NAME@/$(win_pkg_name)/g' | \
380 sed -e 's/@WINDOWS_PKG_NAME@/$(win_pkg_name)/g' | \
382 sed -e 's/@VERSION@/$(VERSION)/g' | \
381 sed -e 's/@VERSION@/$(VERSION)/g' | \
383 $(make_page) > $(web_dest)/index.html; \
382 $(make_page) > $(web_dest)/index.html; \
383+ $(make_page) $(web_src)/features.txt > $(web_dest)/features.html; \
384 cp README $(web_dest)/ ; \
384 cp README $(web_dest)/ ; \
385 ./$(MAIN) -s -w latex README > $(web_dest)/README.tex ; \
385 ./$(MAIN) -s -w latex README > $(web_dest)/README.tex ; \
386 cp $(web_src)/myheader.tex $(web_dest)/ ; \
386 cp $(web_src)/myheader.tex $(web_dest)/ ; \