>>>>> "Richard" == Richard Heck <[EMAIL PROTECTED]> writes:
Richard> This time with the patch... Richard> As said. This flag was removed from configure.py a while ago. Richard> It was only ever used with HTML export, and it didn't work Richard> there, anyway. I didn't remove it from Converters.* at that Richard> time, because I was intending to make more extensive changes Richard> to this file in connection with HTML export. But it turned Richard> out I didn't need to do that, so all that needs doing now is Richard> this little bit of cleanup. Extended.lyx has a reference to it related to literate programming. Are you sure it is not relevant anymore? JMarc