DVIファイルのPDFへの変換

私は,Macを使っています。dviファイルは,Mac Texを入れていると,dvipdfmxでpdfに変換されて,Skimで見ることができます。ただ,そのままだと,Spotlightの全文検索には,引っかかりません。

dviファイルでインデックスを作成するようにすることもできるのですが,より簡単な方法として,dviファイルを,pdfに変換する方法があります。Mac Texをインストールして,ターミナルからdvipdfmxが使えるようにしてから,次のコマンドで変換します。

ls *.dvi | xargs -L 1 dvipdfmx