Re: Fail to include files differ only by extension.

[Pavel Sanda]

Bo Peng wrote:
> Hi, Everyone,
> 
> This is now bug 5681. I am debating now if I should change my input
> files or fix lyx. :-)

fix lyx? :)
pavel