phpとか言語のマニュアルって、インデックスがしっかりしてないことが多いな。
しかたなく俺はphp+ajaxで簡単な目次と検索を作るはめに・・