Just a quick follow-up, I created a three-part YouTube video on how to use the auto tools. The auto tools are still one of the most common ways to distribute C source programs on unix-like systems, including Linux. The first part is especially useful if you just want to get an idea of what these tools do. Here is the link:
https://m.youtube.com/watch?v=4q_inV9M_us --- David A.Wheeler -- 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/9796EC1E-4472-48E6-8A1E-A536F3FDEC3D%40dwheeler.com.
