Looks like this is because the source was line-broken there, it says <IMGSRC='leftrightarrow.gif' WIDTH=15 HEIGHT=19 ALT='<->'>
in the source and this is enough to fool the simple image usage heuristic here: https://github.com/metamath/metamath-website-scripts/blob/8d81a0c1ab3e433b335b4e6a3bdc364d277b4946/build-website.sh#L133 I'm not sure what the best alternative is. Perhaps the easiest thing would be to just make those non-breaking points and make sure that there are no such breaks in any of the other files... On Sat, Nov 11, 2023 at 9:48 AM Gino Giotto <[email protected]> wrote: > On the https://us.metamath.org/mmsolitaire/mms.html webpage, when it > says " [image: <->] (double arrow): logically equivalent to" there seems > to be a missing picture. > > Il giorno domenica 29 ottobre 2023 alle 03:46:02 UTC+1 [email protected] > ha scritto: > >> On Wed, Oct 25, 2023 at 3:46 PM Gino Giotto <[email protected]> >> wrote: >> >>> From https://us.metamath.org/copyright.html#pd the GNU General Public >>> License <https://us.metamath.org/LICENSE.TXT> link gives a 404. >> >> >> The top level LICENSE.TXT has been removed, as the web site is PD not >> GPLv2 (except for some enumerated exceptions) and this positioning of the >> license was misleading. The script used to copy this LICENSE.TXT into >> mmsolitaire/ and metamath/, but metamath/ is now being handled separately >> (the metamath-exe repo) and mmsolitaire already has this file, so the >> copies are no longer necessary. I think it would make the most sense to >> just point to >> https://www.gnu.org/licenses/old-licenses/gpl-2.0.en.html#SEC1 in that >> link rather than use a local copy. >> > -- > You received this message because you are subscribed to the Google Groups > "Metamath" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/metamath/ee5cb20c-ab52-4d2b-9b4b-ab67bf0c27fdn%40googlegroups.com > <https://groups.google.com/d/msgid/metamath/ee5cb20c-ab52-4d2b-9b4b-ab67bf0c27fdn%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/CAFXXJSsFQmmHOEwXFGa8LsbFUNgQue0ot8Vb8DmunDHODtSAfg%40mail.gmail.com.
