From cdc3c09624d89f6c585751040e9327f40f6012f2 Mon Sep 17 00:00:00 2001 From: Jonas Wielicki Date: Wed, 23 Aug 2017 16:55:14 +0200 Subject: [PATCH] Remove Makefile which should never have been there --- inbox/Makefile | 8 -------- 1 file changed, 8 deletions(-) delete mode 100644 inbox/Makefile diff --git a/inbox/Makefile b/inbox/Makefile deleted file mode 100644 index 2e27a1f6..00000000 --- a/inbox/Makefile +++ /dev/null @@ -1,8 +0,0 @@ -OUTDIR?=../build/ - -xeps=$(wildcard *.xml) - -.PHONY: all -all: html - -html: $(patsubst %.xml, $(OUTDIR)/%.html, $(xeps))