# Add here the pages of the documentation generated by a @page doxygen macro
my @extra_files = qw(html/index.html html/pages.html html/modules.html html/annotated.html html/functions.html
html/functions_vars.html index.php
- html/GRAS_tut.html html/tracing.html html/installSimgrid.html html/bindings.html html/options.html html/use.html html/gtnets.html
- html/ns3.html);
+ html/GRAS_tut.html html/tracing.html html/installSimgrid.html html/bindings.html
+ html/options.html html/use.html html/pls.html);
# GRAS tutorial
map {push @extra_files, "html/GRAS_tut_$_.html"} qw (intro
|| $file =~ /^html\/options.*/
|| $file =~ /^html\/tracing.*/
|| $file =~ /^html\/bindings.*/
- || $file =~ /^html\/gtnets.*/
- || $file =~ /^html\/ns3.*/
+ || $file =~ /^html\/pls.*/
|| $file =~ /^html\/modules.*/
|| $file =~ /^html\/annotated.*/
|| $file =~ /^html\/group__.*/
$tmp_buff .= ' <li><a href="options.html"><span>Options & configurations</span></a></li>'."\n";
$tmp_buff .= ' <li><a href="tracing.html"><span>Tracing Simulations</span></a></li>'."\n";
$tmp_buff .= ' <li><a href="bindings.html"><span>Bindings</span></a></li>'."\n";
- $tmp_buff .= ' <li><a href="gtnets.html"><span>GTNets</span></a></li>'."\n";
- $tmp_buff .= ' <li><a href="ns3.html"><span>NS3</span></a></li>'."\n";
+ $tmp_buff .= ' <li><a href="pls.html"><span>Packet level simulation</span></a></li>'."\n";
$tmp_buff .= ' </ul></div>'."\n";
$tmp_buff .= ' </div>'."\n";