On Tue, Jul 25, 2000 at 02:25:52PM +0200, Jean-Marc Lasgouttes wrote:
[...] 
> BTW, Jose', why is it necessary to have three different html export
> types? I' think the "export html" function could be clever enough to
> do the right thing...

  You are right, since I have the buffer I can simply do

  if(buffer.isLatex())
        .........
  else if (buffer.isLinuxDoc())
        .........
  else if (buffer.isDocBook())
        .........
  else
        ERROR

  The first time I have seen this I didn't notice that.

  If I patch that what are the place that I should change?
  That is, what are the places where you have used it.

  The other choice is you to do it.;)
  
> JMarc

-- 
José

Reply via email to