]> git.lyx.org Git - lyx.git/blob - src/Converter.cpp
9b8a53df7eb851aba2b24af69b7b6245b4ef44f9
[lyx.git] / src / Converter.cpp
1 /**
2  * \file Converter.cpp
3  * This file is part of LyX, the document processor.
4  * Licence details can be found in the file COPYING.
5  *
6  * \author Dekel Tsur
7  *
8  * Full author contact details are available in file CREDITS.
9  */
10
11 #include <config.h>
12
13 #include "Converter.h"
14
15 #include "ConverterCache.h"
16 #include "Buffer.h"
17 #include "buffer_funcs.h"
18 #include "BufferParams.h"
19 #include "ErrorList.h"
20 #include "Format.h"
21 #include "Language.h"
22 #include "LaTeX.h"
23 #include "Mover.h"
24
25 #include "frontends/alert.h"
26
27 #include "support/debug.h"
28 #include "support/FileNameList.h"
29 #include "support/filetools.h"
30 #include "support/gettext.h"
31 #include "support/lstrings.h"
32 #include "support/os.h"
33 #include "support/Package.h"
34 #include "support/Path.h"
35 #include "support/Systemcall.h"
36
37 using namespace std;
38 using namespace lyx::support;
39
40 namespace lyx {
41
42 namespace Alert = lyx::frontend::Alert;
43
44
45 namespace {
46
47 string const token_from("$$i");
48 string const token_base("$$b");
49 string const token_to("$$o");
50 string const token_path("$$p");
51 string const token_orig_path("$$r");
52
53
54
55 string const add_options(string const & command, string const & options)
56 {
57         string head;
58         string const tail = split(command, head, ' ');
59         return head + ' ' + options + ' ' + tail;
60 }
61
62
63 string const dvipdfm_options(BufferParams const & bp)
64 {
65         string result;
66
67         if (bp.papersize != PAPER_CUSTOM) {
68                 string const paper_size = bp.paperSizeName(BufferParams::DVIPDFM);
69                 if (!paper_size.empty())
70                         result = "-p "+ paper_size;
71
72                 if (bp.orientation == ORIENTATION_LANDSCAPE)
73                         result += " -l";
74         }
75
76         return result;
77 }
78
79
80 class ConverterEqual {
81 public:
82         ConverterEqual(string const & from, string const & to)
83                 : from_(from), to_(to) {}
84         bool operator()(Converter const & c) const {
85                 return c.from == from_ && c.to == to_;
86         }
87 private:
88         string const from_;
89         string const to_;
90 };
91
92 } // namespace anon
93
94
95 Converter::Converter(string const & f, string const & t,
96                      string const & c, string const & l)
97         : from(f), to(t), command(c), flags(l),
98           From(0), To(0), latex(false), xml(false),
99           need_aux(false)
100 {}
101
102
103 void Converter::readFlags()
104 {
105         string flag_list(flags);
106         while (!flag_list.empty()) {
107                 string flag_name, flag_value;
108                 flag_list = split(flag_list, flag_value, ',');
109                 flag_value = split(flag_value, flag_name, '=');
110                 if (flag_name == "latex")
111                         latex = true;
112                 else if (flag_name == "xml")
113                         xml = true;
114                 else if (flag_name == "needaux")
115                         need_aux = true;
116                 else if (flag_name == "resultdir")
117                         result_dir = (flag_value.empty())
118                                 ? token_base : flag_value;
119                 else if (flag_name == "resultfile")
120                         result_file = flag_value;
121                 else if (flag_name == "parselog")
122                         parselog = flag_value;
123         }
124         if (!result_dir.empty() && result_file.empty())
125                 result_file = "index." + formats.extension(to);
126         //if (!contains(command, token_from))
127         //      latex = true;
128 }
129
130
131 bool operator<(Converter const & a, Converter const & b)
132 {
133         // use the compare_ascii_no_case instead of compare_no_case,
134         // because in turkish, 'i' is not the lowercase version of 'I',
135         // and thus turkish locale breaks parsing of tags.
136         int const i = compare_ascii_no_case(a.From->prettyname(),
137                                             b.From->prettyname());
138         if (i == 0)
139                 return compare_ascii_no_case(a.To->prettyname(),
140                                              b.To->prettyname()) < 0;
141         else
142                 return i < 0;
143 }
144
145
146 Converter const * Converters::getConverter(string const & from,
147                                             string const & to) const
148 {
149         ConverterList::const_iterator const cit =
150                 find_if(converterlist_.begin(), converterlist_.end(),
151                         ConverterEqual(from, to));
152         if (cit != converterlist_.end())
153                 return &(*cit);
154         else
155                 return 0;
156 }
157
158
159 int Converters::getNumber(string const & from, string const & to) const
160 {
161         ConverterList::const_iterator const cit =
162                 find_if(converterlist_.begin(), converterlist_.end(),
163                         ConverterEqual(from, to));
164         if (cit != converterlist_.end())
165                 return distance(converterlist_.begin(), cit);
166         else
167                 return -1;
168 }
169
170
171 void Converters::add(string const & from, string const & to,
172                      string const & command, string const & flags)
173 {
174         formats.add(from);
175         formats.add(to);
176         ConverterList::iterator it = find_if(converterlist_.begin(),
177                                              converterlist_.end(),
178                                              ConverterEqual(from , to));
179
180         Converter converter(from, to, command, flags);
181         if (it != converterlist_.end() && !flags.empty() && flags[0] == '*') {
182                 converter = *it;
183                 converter.command = command;
184                 converter.flags = flags;
185         }
186         converter.readFlags();
187
188         if (converter.latex && (latex_command_.empty() || to == "dvi"))
189                 latex_command_ = subst(command, token_from, "");
190         // If we have both latex & pdflatex, we set latex_command to latex.
191         // The latex_command is used to update the .aux file when running
192         // a converter that uses it.
193
194         if (it == converterlist_.end()) {
195                 converterlist_.push_back(converter);
196         } else {
197                 converter.From = it->From;
198                 converter.To = it->To;
199                 *it = converter;
200         }
201 }
202
203
204 void Converters::erase(string const & from, string const & to)
205 {
206         ConverterList::iterator const it =
207                 find_if(converterlist_.begin(),
208                         converterlist_.end(),
209                         ConverterEqual(from, to));
210         if (it != converterlist_.end())
211                 converterlist_.erase(it);
212 }
213
214
215 // This method updates the pointers From and To in all the converters.
216 // The code is not very efficient, but it doesn't matter as the number
217 // of formats and converters is small.
218 // Furthermore, this method is called only on startup, or after
219 // adding/deleting a format in FormPreferences (the latter calls can be
220 // eliminated if the formats in the Formats class are stored using a map or
221 // a list (instead of a vector), but this will cause other problems).
222 void Converters::update(Formats const & formats)
223 {
224         ConverterList::iterator it = converterlist_.begin();
225         ConverterList::iterator end = converterlist_.end();
226         for (; it != end; ++it) {
227                 it->From = formats.getFormat(it->from);
228                 it->To = formats.getFormat(it->to);
229         }
230 }
231
232
233 // This method updates the pointers From and To in the last converter.
234 // It is called when adding a new converter in FormPreferences
235 void Converters::updateLast(Formats const & formats)
236 {
237         if (converterlist_.begin() != converterlist_.end()) {
238                 ConverterList::iterator it = converterlist_.end() - 1;
239                 it->From = formats.getFormat(it->from);
240                 it->To = formats.getFormat(it->to);
241         }
242 }
243
244
245 void Converters::sort()
246 {
247         std::sort(converterlist_.begin(), converterlist_.end());
248 }
249
250
251 OutputParams::FLAVOR Converters::getFlavor(Graph::EdgePath const & path)
252 {
253         for (Graph::EdgePath::const_iterator cit = path.begin();
254              cit != path.end(); ++cit) {
255                 Converter const & conv = converterlist_[*cit];
256                 if (conv.latex)
257                         if (contains(conv.from, "xetex"))
258                                 return OutputParams::XETEX;
259                         if (contains(conv.to, "pdf"))
260                                 return OutputParams::PDFLATEX;
261                 if (conv.xml)
262                         return OutputParams::XML;
263         }
264         return OutputParams::LATEX;
265 }
266
267
268 bool Converters::convert(Buffer const * buffer,
269                          FileName const & from_file, FileName const & to_file,
270                          FileName const & orig_from,
271                          string const & from_format, string const & to_format,
272                          ErrorList & errorList, int conversionflags)
273 {
274         if (from_format == to_format)
275                 return move(from_format, from_file, to_file, false);
276
277         if ((conversionflags & try_cache) &&
278             ConverterCache::get().inCache(orig_from, to_format))
279                 return ConverterCache::get().copy(orig_from, to_format, to_file);
280
281         Graph::EdgePath edgepath = getPath(from_format, to_format);
282         if (edgepath.empty()) {
283                 if (conversionflags & try_default) {
284                         // if no special converter defined, then we take the
285                         // default one from ImageMagic.
286                         string const from_ext = from_format.empty() ?
287                                 getExtension(from_file.absFilename()) :
288                                 formats.extension(from_format);
289                         string const to_ext = formats.extension(to_format);
290                         string const command =
291                                 os::python() + ' ' +
292                                 quoteName(libFileSearch("scripts", "convertDefault.py").toFilesystemEncoding()) +
293                                 ' ' +
294                                 quoteName(from_ext + ':' + from_file.toFilesystemEncoding()) +
295                                 ' ' +
296                                 quoteName(to_ext + ':' + to_file.toFilesystemEncoding());
297                         LYXERR(Debug::FILES, "No converter defined! "
298                                    "I use convertDefault.py:\n\t" << command);
299                         Systemcall one;
300                         one.startscript(Systemcall::Wait, command);
301                         if (to_file.isReadableFile()) {
302                                 if (conversionflags & try_cache)
303                                         ConverterCache::get().add(orig_from,
304                                                         to_format, to_file);
305                                 return true;
306                         }
307                 }
308
309                 // only warn once per session and per file type
310                 static std::map<string, string> warned;
311                 if (warned.find(from_format) != warned.end() && warned.find(from_format)->second == to_format) {
312                         return false;
313                 }
314                 warned.insert(make_pair(from_format, to_format));
315
316                 Alert::error(_("Cannot convert file"),
317                              bformat(_("No information for converting %1$s "
318                                                     "format files to %2$s.\n"
319                                                     "Define a converter in the preferences."),
320                                                         from_ascii(from_format), from_ascii(to_format)));
321                 return false;
322         }
323
324         // buffer is only invalid for importing, and then runparams is not
325         // used anyway.
326         OutputParams runparams(buffer ? &buffer->params().encoding() : 0);
327         runparams.flavor = getFlavor(edgepath);
328         
329         if (buffer) {
330                 runparams.use_japanese = buffer->bufferFormat() == "platex";
331                 runparams.use_indices = buffer->params().use_indices;
332         }
333
334         // Some converters (e.g. lilypond) can only output files to the
335         // current directory, so we need to change the current directory.
336         // This has the added benefit that all other files that may be
337         // generated by the converter are deleted when LyX closes and do not
338         // clutter the real working directory.
339         string const path(onlyPath(from_file.absFilename()));
340         // Prevent the compiler from optimizing away p
341         FileName pp(path);
342         PathChanger p(pp);
343
344         // empty the error list before any new conversion takes place.
345         errorList.clear();
346
347         bool run_latex = false;
348         string from_base = changeExtension(from_file.absFilename(), "");
349         string to_base = changeExtension(to_file.absFilename(), "");
350         FileName infile;
351         FileName outfile = from_file;
352         for (Graph::EdgePath::const_iterator cit = edgepath.begin();
353              cit != edgepath.end(); ++cit) {
354                 Converter const & conv = converterlist_[*cit];
355                 bool dummy = conv.To->dummy() && conv.to != "program";
356                 if (!dummy) {
357                         LYXERR(Debug::FILES, "Converting from  "
358                                << conv.from << " to " << conv.to);
359                 }
360                 infile = outfile;
361                 outfile = FileName(conv.result_dir.empty()
362                         ? changeExtension(from_file.absFilename(), conv.To->extension())
363                         : addName(subst(conv.result_dir,
364                                         token_base, from_base),
365                                   subst(conv.result_file,
366                                         token_base, onlyFilename(from_base))));
367
368                 // if input and output files are equal, we use a
369                 // temporary file as intermediary (JMarc)
370                 FileName real_outfile;
371                 if (outfile == infile) {
372                         real_outfile = infile;
373                         // when importing, a buffer does not necessarily exist
374                         if (buffer)
375                                 outfile = FileName(addName(buffer->temppath(), "tmpfile.out"));
376                         else
377                                 outfile = FileName(addName(package().temp_dir().absFilename(),
378                                                    "tmpfile.out"));
379                 }
380
381                 if (conv.latex) {
382                         run_latex = true;
383                         string const command = subst(conv.command, token_from, "");
384                         LYXERR(Debug::FILES, "Running " << command);
385                         if (!runLaTeX(*buffer, command, runparams, errorList))
386                                 return false;
387                 } else {
388                         if (conv.need_aux && !run_latex
389                             && !latex_command_.empty()) {
390                                 LYXERR(Debug::FILES, "Running " << latex_command_
391                                         << " to update aux file");
392                                 runLaTeX(*buffer, latex_command_, runparams, errorList);
393                         }
394
395                         // FIXME UNICODE
396                         string const infile2 = 
397                                 to_utf8(makeRelPath(from_utf8(infile.absFilename()), from_utf8(path)));
398                         string const outfile2 = 
399                                 to_utf8(makeRelPath(from_utf8(outfile.absFilename()), from_utf8(path)));
400
401                         string command = conv.command;
402                         command = subst(command, token_from, quoteName(infile2));
403                         command = subst(command, token_base, quoteName(from_base));
404                         command = subst(command, token_to, quoteName(outfile2));
405                         command = subst(command, token_path, quoteName(infile.onlyPath().absFilename()));
406                         command = subst(command, token_orig_path, quoteName(orig_from.onlyPath().absFilename()));
407                         command = libScriptSearch(command);
408
409                         if (!conv.parselog.empty())
410                                 command += " 2> " + quoteName(infile2 + ".out");
411
412                         if (conv.from == "dvi" && conv.to == "ps")
413                                 command = add_options(command,
414                                                       buffer->params().dvips_options());
415                         else if (conv.from == "dvi" && prefixIs(conv.to, "pdf"))
416                                 command = add_options(command,
417                                                       dvipdfm_options(buffer->params()));
418
419                         LYXERR(Debug::FILES, "Calling " << command);
420                         if (buffer)
421                                 buffer->message(_("Executing command: ")
422                                 + from_utf8(command));
423
424                         Systemcall one;
425                         int res;
426                         if (dummy) {
427                                 res = one.startscript(Systemcall::DontWait,
428                                         to_filesystem8bit(from_utf8(command)));
429                                 // We're not waiting for the result, so we can't do anything
430                                 // else here.
431                         } else {
432                                 res = one.startscript(Systemcall::Wait,
433                                                 to_filesystem8bit(from_utf8(command)));
434                                 if (!real_outfile.empty()) {
435                                         Mover const & mover = getMover(conv.to);
436                                         if (!mover.rename(outfile, real_outfile))
437                                                 res = -1;
438                                         else
439                                                 LYXERR(Debug::FILES, "renaming file " << outfile
440                                                         << " to " << real_outfile);
441                                         // Finally, don't forget to tell any future
442                                         // converters to use the renamed file...
443                                         outfile = real_outfile;
444                                 }
445   
446                                 if (!conv.parselog.empty()) {
447                                         string const logfile =  infile2 + ".log";
448                                         string const script = libScriptSearch(conv.parselog);
449                                         string const command2 = script +
450                                                 " < " + quoteName(infile2 + ".out") +
451                                                 " > " + quoteName(logfile);
452                                         one.startscript(Systemcall::Wait,
453                                                 to_filesystem8bit(from_utf8(command2)));
454                                         if (!scanLog(*buffer, command, makeAbsPath(logfile, path), errorList))
455                                                 return false;
456                                 }
457                         }
458
459                         if (res) {
460                                 if (conv.to == "program") {
461                                         Alert::error(_("Build errors"),
462                                                 _("There were errors during the build process."));
463                                 } else {
464 // FIXME: this should go out of here. For example, here we cannot say if
465 // it is a document (.lyx) or something else. Same goes for elsewhere.
466                                         Alert::error(_("Cannot convert file"),
467                                                 bformat(_("An error occurred whilst running %1$s"),
468                                                 from_utf8(command.substr(0, 50))));
469                                 }
470                                 return false;
471                         }
472                 }
473         }
474
475         Converter const & conv = converterlist_[edgepath.back()];
476         if (conv.To->dummy())
477                 return true;
478
479         if (!conv.result_dir.empty()) {
480                 // The converter has put the file(s) in a directory.
481                 // In this case we ignore the given to_file.
482                 if (from_base != to_base) {
483                         string const from = subst(conv.result_dir,
484                                             token_base, from_base);
485                         string const to = subst(conv.result_dir,
486                                           token_base, to_base);
487                         Mover const & mover = getMover(conv.from);
488                         if (!mover.rename(FileName(from), FileName(to))) {
489                                 Alert::error(_("Cannot convert file"),
490                                         bformat(_("Could not move a temporary directory from %1$s to %2$s."),
491                                                 from_utf8(from), from_utf8(to)));
492                                 return false;
493                         }
494                 }
495                 return true;
496         } else {
497                 if (conversionflags & try_cache)
498                         ConverterCache::get().add(orig_from, to_format, outfile);
499                 return move(conv.to, outfile, to_file, conv.latex);
500         }
501 }
502
503
504 bool Converters::move(string const & fmt,
505                       FileName const & from, FileName const & to, bool copy)
506 {
507         if (from == to)
508                 return true;
509
510         bool no_errors = true;
511         string const path = onlyPath(from.absFilename());
512         string const base = onlyFilename(removeExtension(from.absFilename()));
513         string const to_base = removeExtension(to.absFilename());
514         string const to_extension = getExtension(to.absFilename());
515
516         support::FileNameList const files = FileName(path).dirList(getExtension(from.absFilename()));
517         for (support::FileNameList::const_iterator it = files.begin();
518              it != files.end(); ++it) {
519                 string const from2 = it->absFilename();
520                 string const file2 = onlyFilename(from2);
521                 if (prefixIs(file2, base)) {
522                         string const to2 = changeExtension(
523                                 to_base + file2.substr(base.length()),
524                                 to_extension);
525                         LYXERR(Debug::FILES, "moving " << from2 << " to " << to2);
526
527                         Mover const & mover = getMover(fmt);
528                         bool const moved = copy
529                                 ? mover.copy(*it, FileName(to2))
530                                 : mover.rename(*it, FileName(to2));
531                         if (!moved && no_errors) {
532                                 Alert::error(_("Cannot convert file"),
533                                         bformat(copy ?
534                                                 _("Could not copy a temporary file from %1$s to %2$s.") :
535                                                 _("Could not move a temporary file from %1$s to %2$s."),
536                                                 from_utf8(from2), from_utf8(to2)));
537                                 no_errors = false;
538                         }
539                 }
540         }
541         return no_errors;
542 }
543
544
545 bool Converters::formatIsUsed(string const & format)
546 {
547         ConverterList::const_iterator cit = converterlist_.begin();
548         ConverterList::const_iterator end = converterlist_.end();
549         for (; cit != end; ++cit) {
550                 if (cit->from == format || cit->to == format)
551                         return true;
552         }
553         return false;
554 }
555
556
557 bool Converters::scanLog(Buffer const & buffer, string const & /*command*/,
558                          FileName const & filename, ErrorList & errorList)
559 {
560         OutputParams runparams(0);
561         runparams.flavor = OutputParams::LATEX;
562         LaTeX latex("", runparams, filename);
563         TeXErrors terr;
564         int const result = latex.scanLogFile(terr);
565
566         if (result & LaTeX::ERRORS)
567                 buffer.bufferErrors(terr, errorList);
568
569         return true;
570 }
571
572
573 namespace {
574
575 class ShowMessage
576         : public boost::signals::trackable {
577 public:
578         ShowMessage(Buffer const & b) : buffer_(b) {}
579         void operator()(docstring const & msg) const { buffer_.message(msg); }
580 private:
581         Buffer const & buffer_;
582 };
583
584 }
585
586
587 bool Converters::runLaTeX(Buffer const & buffer, string const & command,
588                           OutputParams const & runparams, ErrorList & errorList)
589 {
590         buffer.setBusy(true);
591         buffer.message(_("Running LaTeX..."));
592
593         runparams.document_language = buffer.params().language->babel();
594
595         // do the LaTeX run(s)
596         string const name = buffer.latexName();
597         LaTeX latex(command, runparams, FileName(makeAbsPath(name)));
598         TeXErrors terr;
599         ShowMessage show(buffer);
600         latex.message.connect(show);
601         int const result = latex.run(terr);
602
603         if (result & LaTeX::ERRORS)
604                 buffer.bufferErrors(terr, errorList);
605
606         // check return value from latex.run().
607         if ((result & LaTeX::NO_LOGFILE)) {
608                 docstring const str =
609                         bformat(_("LaTeX did not run successfully. "
610                                                "Additionally, LyX could not locate "
611                                                "the LaTeX log %1$s."), from_utf8(name));
612                 Alert::error(_("LaTeX failed"), str);
613         } else if (result & LaTeX::NO_OUTPUT) {
614                 Alert::warning(_("Output is empty"),
615                                _("An empty output file was generated."));
616         }
617
618
619         buffer.setBusy(false);
620
621         int const ERROR_MASK =
622                         LaTeX::NO_LOGFILE |
623                         LaTeX::ERRORS |
624                         LaTeX::NO_OUTPUT;
625
626         return (result & ERROR_MASK) == 0;
627
628 }
629
630
631
632 void Converters::buildGraph()
633 {
634         G_.init(formats.size());
635         ConverterList::iterator beg = converterlist_.begin();
636         ConverterList::iterator const end = converterlist_.end();
637         for (ConverterList::iterator it = beg; it != end ; ++it) {
638                 int const s = formats.getNumber(it->from);
639                 int const t = formats.getNumber(it->to);
640                 G_.addEdge(s,t);
641         }
642 }
643
644
645 vector<Format const *> const
646 Converters::intToFormat(vector<int> const & input)
647 {
648         vector<Format const *> result(input.size());
649
650         vector<int>::const_iterator it = input.begin();
651         vector<int>::const_iterator const end = input.end();
652         vector<Format const *>::iterator rit = result.begin();
653         for ( ; it != end; ++it, ++rit) {
654                 *rit = &formats.get(*it);
655         }
656         return result;
657 }
658
659
660 vector<Format const *> const
661 Converters::getReachableTo(string const & target, bool const clear_visited)
662 {
663         vector<int> const & reachablesto =
664                 G_.getReachableTo(formats.getNumber(target), clear_visited);
665
666         return intToFormat(reachablesto);
667 }
668
669
670 vector<Format const *> const
671 Converters::getReachable(string const & from, bool const only_viewable,
672                          bool const clear_visited)
673 {
674         vector<int> const & reachables =
675                 G_.getReachable(formats.getNumber(from),
676                                 only_viewable,
677                                 clear_visited);
678
679         return intToFormat(reachables);
680 }
681
682
683 bool Converters::isReachable(string const & from, string const & to)
684 {
685         return G_.isReachable(formats.getNumber(from),
686                               formats.getNumber(to));
687 }
688
689
690 Graph::EdgePath Converters::getPath(string const & from, string const & to)
691 {
692         return G_.getPath(formats.getNumber(from),
693                           formats.getNumber(to));
694 }
695
696
697 vector<Format const *> Converters::importableFormats()
698 {
699         vector<string> l = loaders();
700         vector<Format const *> result = getReachableTo(l[0], true);
701         for (vector<string>::const_iterator it = l.begin() + 1;
702              it != l.end(); ++it) {
703                 vector<Format const *> r = getReachableTo(*it, false);
704                 result.insert(result.end(), r.begin(), r.end());
705         }
706         return result;
707 }
708
709
710 vector<Format const *> Converters::exportableFormats(bool only_viewable)
711 {
712         vector<string> s = savers();
713         vector<Format const *> result = getReachable(s[0], only_viewable, true);
714         for (vector<string>::const_iterator it = s.begin() + 1;
715              it != s.end(); ++it) {
716                 vector<Format const *> r =
717                         getReachable(*it, only_viewable, false);
718                 result.insert(result.end(), r.begin(), r.end());
719         }
720         return result;
721 }
722
723
724 vector<string> Converters::loaders() const
725 {
726         vector<string> v;
727         v.push_back("lyx");
728         v.push_back("text");
729         v.push_back("textparagraph");
730         return v;
731 }
732
733
734 vector<string> Converters::savers() const
735 {
736         vector<string> v;
737         v.push_back("docbook");
738         v.push_back("latex");
739         v.push_back("literate");
740         v.push_back("lyx");
741         v.push_back("pdflatex");
742         v.push_back("platex");
743         v.push_back("text");
744         v.push_back("xetex");
745         return v;
746 }
747
748
749 } // namespace lyx