mirror of
https://github.com/php/web-gtk.git
synced 2026-04-27 00:38:02 +02:00
Alexandre Pereira Bühler
13 lines
405 B
PHP
13 lines
405 B
PHP
<?php
|
|
if (isset($_SERVER['HTTP_HOST']) && $_SERVER['HTTP_HOST'] !== '') {
|
|
die("This script may be run from cmdline only\r\n");
|
|
}
|
|
|
|
require_once 'PhpGtkDoc/Search2/Index.php';
|
|
|
|
$strDocDir = dirname(__FILE__) . '/../manual/en/';
|
|
$strIndexFile = dirname(__FILE__) . '/PhpGtkDoc/index.search';
|
|
|
|
echo "Generating manual2 search index\r\n";
|
|
PhpGtkDoc_Search2_Index::createIndex($strDocDir, $strIndexFile);
|
|
?>
|