<?php
global $pasdoc;
$pasdoc = array(
  'ok_introduction_conclusion' => array('html_filename' => 'ok_introduction_conclusion.html', 'type' => 'unit'),
  'MyConstant' => array('html_filename' => 'ok_introduction_conclusion.html#MyConstant', 'type' => 'constant'),
);
