On Monday, March 23, 2020 at 1:09:25 PM UTC+1, Mario Carneiro wrote: > > Where did you find those build instructions? I have to admit it's a bit > out of my depth, and I haven't touched this in a while. I usually use an > ant build, in the build.xml file. You may be able to find the commands you > need there. >
I was using mmj2/compile/linux/compilescript.txt I will try your method, thanks. -- 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/53b9a25e-31cc-4e86-92d5-e6f47909cdb0%40googlegroups.com.
