Re: Browsers and source files

> So I think we really do have to fix this.

I should have added, adding an <?xml-stylesheet?> PI does “fix” it, but
if we do that, we have to decide what that stylesheet should be, and we
have to assume that all browsers support it, which may or may not be
true today, or tomorrow.

I still prefer the “create a landing page” solution that I pointed to in
another message.

                                        Be seeing you,
                                          norm

--
Norm Tovey-Walsh
Saxonica

Received on Monday, 10 October 2022 10:40:04 UTC