<?php
global $pasdoc;
$pasdoc = array(
  'ok_auto_back_comments' => array('html_filename' => 'ok_auto_back_comments.html', 'type' => 'unit'),
  'var1' => array('html_filename' => 'ok_auto_back_comments.html#var1', 'type' => 'variable'),
  'var2' => array('html_filename' => 'ok_auto_back_comments.html#var2', 'type' => 'variable'),
  'var3' => array('html_filename' => 'ok_auto_back_comments.html#var3', 'type' => 'variable'),
  'var4' => array('html_filename' => 'ok_auto_back_comments.html#var4', 'type' => 'variable'),
  'var5' => array('html_filename' => 'ok_auto_back_comments.html#var5', 'type' => 'variable'),
);
