diff --git a/src/frontends/controllers/ControlSendto.cpp b/src/frontends/controllers/ControlSendto.cpp index a3c952767a..ab1aeee49e 100644 --- a/src/frontends/controllers/ControlSendto.cpp +++ b/src/frontends/controllers/ControlSendto.cpp @@ -63,8 +63,10 @@ vector const ControlSendto::allFormats() const Buffer const & buffer = kernel().buffer(); - if (buffer.isLatex()) + if (buffer.isLatex()) { exports.push_back("latex"); + exports.push_back("pdflatex"); + } else if (buffer.isDocBook()) exports.push_back("docbook"); else if (buffer.isLiterate()) diff --git a/status.15x b/status.15x index 32ece61105..a94c67a1bc 100644 --- a/status.15x +++ b/status.15x @@ -53,7 +53,6 @@ What's new these things are now also included in the Express edition. - ** Bug fixes: ************* @@ -93,6 +92,8 @@ What's new - Fix rows alignment in the gather environment (part of bug 1497). +- Add missing pdflatex format to Export->Custom. + * DOCUMENTATION