On Mon, Jun 16, 2025 at 02:36:20PM +0000, Niranjan Fartare wrote: > Fixed the issue. There was an index.html file in the devel folder, I guess > initially when I tried mirroring using wget it might've downloaded the > index.html file.
Thanks. I added the mirror into our list. Pavel -- lyx-devel mailing list lyx-devel@lists.lyx.org https://lists.lyx.org/mailman/listinfo/lyx-devel
