Fixed in https://github.com/metamath/metamath-website-seed/pull/20.
On Sun, Nov 12, 2023 at 4:18 AM Mario Carneiro <di.g...@gmail.com> wrote: > 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 <ginogiotto.giap...@gmail.com> > 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 di....@gmail.com >> ha scritto: >> >>> On Wed, Oct 25, 2023 at 3:46 PM Gino Giotto <ginogiott...@gmail.com> >>> 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 metamath+unsubscr...@googlegroups.com. >> 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 metamath+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/CAFXXJStY0XcawRZ3RBkuvmyaRbPMZSPnfkzwD5L56E5BPoR%3DEA%40mail.gmail.com.
