From e0c6872cf40896c7be36b11dcc744620f10adf1d Mon Sep 17 00:00:00 2001
From: Norbert Preining <norbert@preining.info>
Date: Mon, 2 Sep 2019 13:46:59 +0900
Subject: Initial commit

---
 web/noweb/contrib/Makefile | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 web/noweb/contrib/Makefile

(limited to 'web/noweb/contrib/Makefile')

diff --git a/web/noweb/contrib/Makefile b/web/noweb/contrib/Makefile
new file mode 100644
index 0000000000..0e048da8ea
--- /dev/null
+++ b/web/noweb/contrib/Makefile
@@ -0,0 +1,13 @@
+SHELL=/bin/sh
+LIB=/dev/null	# to be overridden
+ICONC=icont	# to be overridden
+DIRS=davelove jonkrom leew norman
+
+# don't do kostas; it requires gnu make (ugh)
+
+all: ;	for i in $(DIRS); do (cd $$i; make ICONC=$(ICONC) all); done
+install: ;	for i in $(DIRS); do (cd $$i; make LIB=$(LIB) BIN=$(BIN) install); done
+source: ;	for i in $(DIRS); do (cd $$i; make source); done
+clean: ;	for i in $(DIRS); do (cd $$i; make clean); done
+clobber: clean
+
-- 
cgit v1.2.3