3 lines
55 B
Text
3 lines
55 B
Text
|
|
exec >&2
|
||
|
|
redo-ifchange "$2.dvi"
|
||
|
|
dvips -o "$3" "$2.dvi"
|