Go to the first, previous, next, last section, table of contents.

Texinfo 形式のファイルを印刷するにはどうするのですか?

註: Info ファイルからは奇麗なプリント・アウトを得ることはできません. 元の Texinfo ファイルを削除しないようにしましょう.

  1. Texinfo ファイルの先頭に
      \input texinfo
    

と書かれていることを確認してください. この "texinfo" を man/texinfo.tex のフルパスに変える必要があるかもしれません (またはカレント・ディレクトリにコピーするかリンクを張ってください).

  1. tex XXX.texinfo
  2. texindex XXX.??
      "texindex" プログラムは man/texindex.c をコンパイルするとできます.
    
  3. tex XXX.texinfo
  4. できあがった DVI ファイル XXX.dvi を DVI ファイルを普通に打ち出す 方法で打ち出してください.

もっと一般的な手順は, 質問 13 でふれた最新の Texinfo パッケージから入手してください.


Go to the first, previous, next, last section, table of contents.