Fix command-line.

pull/193/head
Michael R Sweet 14 years ago
parent 21cdbb457c
commit 0ab6d9ea16
  1. 2
      www/documentation.php

@ -164,7 +164,7 @@ else
{
// Run htmlsearch to search the documentation...
$matches = array();
$fp = popen("/usr/local/bin/websearch " . escapeshellarg($q), "r");
$fp = popen("/usr/local/bin/websearch docfiles " . escapeshellarg($q), "r");
while ($line = fgets($fp, 1024))
{

Loading…
Cancel
Save