From c1b81d83b97c59b981cf28d45282a84c6153c8ce Mon Sep 17 00:00:00 2001 From: Georg Baum Date: Mon, 1 Apr 2013 12:05:25 +0200 Subject: [PATCH] Fix HTML to LaTeX converter output name If you do not explicitly specify the output file name, gnuhtml2latex will guess a file name itself. The result of the guess is not what we expect if the input file name did not contain a .html extension, but something which is not related to a format, e.g. .qV9984 from FileName::tempName(). --- lib/configure.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/configure.py b/lib/configure.py index b6c453de30..0e8e7c8db7 100644 --- a/lib/configure.py +++ b/lib/configure.py @@ -682,7 +682,7 @@ def checkConverterEntries(): checkProg('a knitr -> R/S code converter', ['Rscript --verbose --no-save --no-restore $$s/scripts/lyxknitr.R $$p$$i $$p$$o $$e $$r tangle'], rc_entry = [ r'\converter knitr r "%%" ""' ]) # - checkProg('an HTML -> LaTeX converter', ['html2latex $$i', 'gnuhtml2latex $$i', + checkProg('an HTML -> LaTeX converter', ['html2latex $$i', 'gnuhtml2latex $$i -s > $$o', 'htmltolatex -input $$i -output $$o', 'htmltolatex.jar -input $$i -output $$o'], rc_entry = [ r'\converter html latex "%%" ""' ]) # -- 2.39.2