Philippe Pittoli 31d9739be0 install.mk: put $(DESTDIR) at the right place.		2024-12-01 00:42:38 +01:00
..
build.mk
commands.mk
dev.mk
install.mk	install.mk: put $(DESTDIR) at the right place.	2024-12-01 00:42:38 +01:00
migration.mk
setup.mk