<?php
global $pasdoc;
$pasdoc = array(
  'ok_read_char_code' => array('html_filename' => 'ok_read_char_code.html', 'type' => 'unit'),
  'C1' => array('html_filename' => 'ok_read_char_code.html#C1', 'type' => 'constant'),
  'C2' => array('html_filename' => 'ok_read_char_code.html#C2', 'type' => 'constant'),
  'C3' => array('html_filename' => 'ok_read_char_code.html#C3', 'type' => 'constant'),
  'C4' => array('html_filename' => 'ok_read_char_code.html#C4', 'type' => 'constant'),
);
