4 Commits

Author	SHA1	Message	Date
Michele Guerini Rocco	1a7db631de	actually use the configure script	2021-12-15 02:30:48 +01:00
Michele Guerini Rocco	f16471aad4	configure: fix several shellcheck warnings	2021-12-15 02:30:45 +01:00
Lorenzo Figini	3a9fb6539f	Small changes in configure log messages	2021-11-19 12:56:31 +00:00
Lorenzo Figini	6892646623	updated makefile, added manpage, fixed few print statements	2019-12-09 14:49:37 +00:00