From 31673b10d7bf3175d5de26734dd934bbbfc4ec18 Mon Sep 17 00:00:00 2001 From: Gustav Eek Date: Tue, 16 Jun 2020 07:45:26 +0200 Subject: Minutes May 25, 2020. Makefile and gitinore for completed minutes. --- 2020/Makefile | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to '2020') diff --git a/2020/Makefile b/2020/Makefile index 0c8ebc8..26f6bd1 100644 --- a/2020/Makefile +++ b/2020/Makefile @@ -1,13 +1,14 @@ # Makefile for minutes -MINUTES := $(basename $(shell ls *.tex 2> /dev/null)) +COMPLETES := $(subst .sed.gpg,-complete, $(wildcard *.sed.gpg)) +MINUTES := $(basename $(shell ls *.tex 2> /dev/null | grep -v complete)) \ common-makefile = ../resources/Makefile-common help: - @make -s -f $(common-makefile) help SEND_FILES="$(MINUTES)" + @make -s -f $(common-makefile) help SEND_FILES="$(MINUTES) $(COMPLETES)" -all: $(MINUTES) +all: $(MINUTES) $(COMPLETES) %: make -f $(common-makefile) compile FILE=$* -- cgit v1.2.3