<?php
$TOC = array (
  0 => 
  array (
    0 => 'install.windows.recommended.php',
    1 => 'Configuraci&oacute;n recomendada en sistemas Windows',
  ),
  1 => 
  array (
    0 => 'install.windows.manual.php',
    1 => 'Instalaci&oacute;n manual de los binarios precompilados',
  ),
  2 => 
  array (
    0 => 'install.windows.apache2.php',
    1 => 'Apache 2.x en Microsoft Windows',
  ),
  3 => 
  array (
    0 => 'install.windows.iis.php',
    1 => 'Instalaci&oacute;n con IIS para Windows',
  ),
  4 => 
  array (
    0 => 'install.windows.tools.php',
    1 => 'Herramientas de terceros para la instalaci&oacute;n de PHP',
  ),
  5 => 
  array (
    0 => 'install.windows.building.php',
    1 => 'Construir a partir de las fuentes',
  ),
  6 => 
  array (
    0 => 'install.windows.commandline.php',
    1 => 'Ejecuci&oacute;n de PHP en l&iacute;nea de comandos en sistemas Windows',
  ),
);
$TOC_DEPRECATED = array (
);
$PARENTS = array (
  0 => 
  array (
    0 => 'install.php',
    1 => 'Instalaci&oacute;n y configuraci&oacute;n',
  ),
  1 => 
  array (
    0 => 'index.php',
    1 => 'Prefacio',
  ),
);