/// Just a wrapper for writeLaTeXSource, first creating the ofstream.
bool makeLaTeXFile(support::FileName const & filename,
+ std::string const & original_path,
OutputParams const &,
bool output_preamble = true,
bool output_body = true) const;
\endcode
*/
void writeLaTeXSource(otexstream & os,
+ std::string const & original_path,
OutputParams const &,
bool output_preamble = true,
bool output_body = true) const;