at the top of those html pages add the lines
PHP Code:
<?php
$current_dir = getcwd();
chdir('/path/to/your/forum/');
require('./global.php');
chdir($current_dir);
if(!$bbuserinfo['userid'])
{
print_no_permission();
}
else
{
?>
<!-- HTML PAGE HERE -->
<?php
}
?>
I think you have to change your base directory before including global.php, so I added that in. Also, rename all pages to .php