<?php
global $pasdoc;
$pasdoc = array(
  'ok_caret_character' => array('html_filename' => 'ok_caret_character.html', 'type' => 'unit'),
  'C2' => array('html_filename' => 'ok_caret_character.html#C2', 'type' => 'constant'),
  'C3' => array('html_filename' => 'ok_caret_character.html#C3', 'type' => 'constant'),
  'C4' => array('html_filename' => 'ok_caret_character.html#C4', 'type' => 'constant'),
  'SUB' => array('html_filename' => 'ok_caret_character.html#SUB', 'type' => 'constant'),
  'ESC' => array('html_filename' => 'ok_caret_character.html#ESC', 'type' => 'constant'),
  'FS' => array('html_filename' => 'ok_caret_character.html#FS', 'type' => 'constant'),
  'GS' => array('html_filename' => 'ok_caret_character.html#GS', 'type' => 'constant'),
  'RS' => array('html_filename' => 'ok_caret_character.html#RS', 'type' => 'constant'),
  'US' => array('html_filename' => 'ok_caret_character.html#US', 'type' => 'constant'),
);
