import files

2021-02-09 17:05:00 +01:00
parent f5c4576411
commit 44a6d37ba5
425 changed files with 23195 additions and 0 deletions
@@ -0,0 +1,11 @@
+##
+# INSTALL
+
+.PHONY: install-infra
+install-infra: infra-install
+
+.PHONY: install-$(SHARED)
+install-$(SHARED): $(SHARED)
+
+$(SHARED):
+	$(ECHO) mkdir -p $(SHARED)