# Add here the pages of the documentation generated by a @page doxygen macro
my @extra_files = qw(html/index.html html/faq.html html/publis.html html/pages.html html/modules.html html/contrib.html index.php html/GRAS_tut.html);
+# GRAS tutorial
map {push @extra_files, "html/GRAS_tut_$_.html"} qw (intro
tour tour_install tour_setup tour_simpleexchange tour_args tour_callbacks tour_globals
tour_logs tour_timers tour_exceptions tour_rpc);
+# GRAS examples
+map {push @extra_files, "html/GRAS_ex_$_.html"} qw (ping mmrpc token timer);
+
my %debug;
$debug{'parse'} = 0; # show how we parse the module tree
$debug{'input'} = 0; # display the resulting tree