<?php
global $pasdoc;
$pasdoc = array(
  'ok_auto_abstract' => array('html_filename' => 'ok_auto_abstract.html', 'type' => 'unit'),
  'TTest1' => array('html_filename' => 'ok_auto_abstract.TTest1.html', 'type' => 'class'),
  'TTest2' => array('html_filename' => 'ok_auto_abstract.TTest2.html', 'type' => 'class'),
  'TTest3' => array('html_filename' => 'ok_auto_abstract.TTest3.html', 'type' => 'class'),
  'TTest4' => array('html_filename' => 'ok_auto_abstract.TTest4.html', 'type' => 'class'),
);
