<?php
global $pasdoc;
$pasdoc = array(
  'ok_warning_note' => array('html_filename' => 'ok_warning_note.html', 'type' => 'unit'),
  'Foo' => array('html_filename' => 'ok_warning_note.html#Foo', 'type' => 'procedure'),
);
