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/CAFXXJSu%3D0kFt2nqMu%2BG2b2OS9t9eT-tguurgr6dbc9rEH0e28w%40mail.gmail.com.
