debian は，デフォルトでは開発者向けのmanをインストールしない模様． $ apt-cache search manpagesと検索して必要そうなパッケージを検索． apt-get install した．ちなみに，大体以下のmanを入れておけば事足りるみたい． manpages-ja-dev - Japanese ver…