gen.bash: now HTML pages are also copied from md-pages to html-pages