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