aboutsummaryrefslogtreecommitdiffstats
path: root/bin
diff options
context:
space:
mode:
Diffstat (limited to 'bin')
-rwxr-xr-xbin/tex2pdf5
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()