2 Commits

Author	SHA1	Message	Date
Omar Polo	1610f9541d	rework the configure script ... now it resembles less oconfigure and more the configure scripts I'm using in my recent projects. I'd argue it's more easy to use it.	2023-06-13 16:36:10 +00:00
Omar Polo	4b93be289b	rework `make dist'	2022-10-31 22:53:16 +00:00