1 2 3 4 5 6 7 8 9 10 11
|
--- texlive-base-2018.20190131.orig/texmf-dist/scripts/texdoc/view.tlu
+++ texlive-base-2018.20190131/texmf-dist/scripts/texdoc/view.tlu
@@ -45,7 +45,7 @@
os.remove(tmpdir)
return false
end
- viewer_replacement = ''..tmpfile..'; '
+ viewer_replacement = ''..tmpfile..'; sleep 5; '
..config.rm_file..' '..tmpfile..'; '
..config.rm_dir..' '..tmpdir
filename = nozipname
|