diff options
| -rwxr-xr-x | bin/tex2pdf | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/bin/tex2pdf b/bin/tex2pdf index 021682b..64287ae 100755 --- a/bin/tex2pdf +++ b/bin/tex2pdf @@ -79,9 +79,10 @@ function show_pdf() check_mupdf_pid echo "mupdf: ${dirname}/${filename}${output_suffix}." if [ ! -z $mupdf_pid ]; then - kill ${mupdf_pid} + kill -SIGHUP ${mupdf_pid} + else + mupdf ${dirname}/${filename}${output_suffix} & fi - mupdf ${dirname}/${filename}${output_suffix} & } function cleanup() |