ofs << "\\begin_header\n";
params().writeFile(ofs);
ofs << "\\end_header\n";
-
+
// write the text
ofs << "\n\\begin_body\n";
text().write(*this, ofs);
void Buffer::makeLinuxDocFile(string const & fname,
OutputParams const & runparams,
- bool body_only)
+ bool body_only)
{
ofstream ofs;
if (!openFileWrite(ofs, fname))