<?php
global $pasdoc;
$pasdoc = array(
  'ok_multiple_markers_prefix' => array('html_filename' => 'ok_multiple_markers_prefix.html', 'type' => 'unit'),
  'Marker1' => array('html_filename' => 'ok_multiple_markers_prefix.html#Marker1', 'type' => 'variable'),
  'Marker2' => array('html_filename' => 'ok_multiple_markers_prefix.html#Marker2', 'type' => 'variable'),
);
