|| $file =~ /^html\/bindings.*/
|| $file =~ /^html\/pls.*/
|| $file =~ /^html\/modules.*/
|| $file =~ /^html\/annotated.*/
|| $file =~ /^html\/group__.*/
|| $file =~ /^html\/bindings.*/
|| $file =~ /^html\/pls.*/
|| $file =~ /^html\/modules.*/
|| $file =~ /^html\/annotated.*/
|| $file =~ /^html\/group__.*/