commit d75d29161ba4ab00a8a0831ad19c35aefc836a97
Author: Enrico Forestieri <[email protected]>
Date: Mon Oct 6 10:16:17 2025 +0200
Fix bug #13235
---
lib/scripts/clean_dvi.py | 1 +
1 file changed, 1 insertion(+)
diff --git a/lib/scripts/clean_dvi.py b/lib/scripts/clean_dvi.py
index 4f7d73dc67..1f00847bc4 100644
--- a/lib/scripts/clean_dvi.py
+++ b/lib/scripts/clean_dvi.py
@@ -105,6 +105,7 @@ def main(argv):
dt2dv_call = 'dt2dv -si "%s"' % outfile
dt2dv_stdin = os.popen(dt2dv_call, 'w')
dt2dv_stdin.write(dtl_data)
+ dt2dv_stdin.close()
if __name__ == "__main__":
--
lyx-cvs mailing list
[email protected]
https://lists.lyx.org/mailman/listinfo/lyx-cvs
