my @extra_files = qw(html/index.html html/faq.html html/history.html html/contrib.html html/people.html
html/publis.html html/publis_core.html html/publis_extern.html html/publis_intra.html
html/pages.html html/modules.html html/annotated.html html/functions.html html/functions_vars.html index.php
my @extra_files = qw(html/index.html html/faq.html html/history.html html/contrib.html html/people.html
html/publis.html html/publis_core.html html/publis_extern.html html/publis_intra.html
html/pages.html html/modules.html html/annotated.html html/functions.html html/functions_vars.html index.php