Package: texlive-base / 2018.20190227-2

texdoc_591781 Patch series | download
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