- path, htmltolatex = checkProg('an HTML -> LaTeX converter', ['html2latex $$i',
- 'gnuhtml2latex $$i', 'htmltolatex -input $$i -output $$o', 'htmltolatex.jar'],
- rc_entry = [ r'\converter html latex "%%" ""',
- r'\converter html latex "%%" ""',
- r'\converter html latex "%%" ""', '', ''] )
- if htmltolatex == 'htmltolatex.jar':
- addToRC(r'\converter html latex "java -jar %s -input $$i -output $$o" ""'
- % os.path.join(path, htmltolatex))
+ checkProg('an HTML -> LaTeX converter', ['html2latex $$i', 'gnuhtml2latex $$i',
+ 'htmltolatex -input $$i -output $$o', 'htmltolatex.jar -input $$i -output $$o'],
+ rc_entry = [ r'\converter html latex "%%" ""' ])