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