Sounds good to me. You should send a PR to https://github.com/metamath/metamath-website-seed, which contains the source for index.html. What are you planning to do with the translated sources? Are they in a separate repo? The site build does run latex for some things although I don't think it compiles the metamath pdf right now.
On Sun, Dec 3, 2023 at 3:29 AM 'Alexander van der Vekens' via Metamath < metamath@googlegroups.com> wrote: > I want to announce that I created a German translation of the Metamath > book, based on the Latex files of the original book (see GitHub > https://github.com/metamath/metamath-book). I plan to provide it for the > Metamath community, and all interested, German speaking people. The easiest > way to do it, in my opinion, is to add the PDF-version to the Metamath > hompage, section "Metamath book" ( > https://us.metamath.org/index.html#book).Would this be acceptable, or are > there other proposals? > > -- > 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/d418a77d-3c31-4368-a435-7f2574a767f5n%40googlegroups.com > <https://groups.google.com/d/msgid/metamath/d418a77d-3c31-4368-a435-7f2574a767f5n%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/CAFXXJSvh7TKgjkG2VE%2Brnz1%2B_pESvUoLyYbZS8cD8RgSqfRqsw%40mail.gmail.com.