pdfplatex コマンドが用意されていない場合、下記のコマンドをパスの通った所に置いておけば良い。
pdfplatex
#! /bin/bash
filename=${1%.*}
platex $filename && platex $filename > /dev/null && dvipdfmx $filename
More than 5 years have passed since last update.
Register as a new user and use Qiita more conveniently
- You get articles that match your needs
- You can efficiently read back useful information
- You can use dark theme
List of users who liked
00