summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile7
1 files changed, 4 insertions, 3 deletions
diff --git a/Makefile b/Makefile
index bc0a0e1..67ce05b 100644
--- a/Makefile
+++ b/Makefile
@@ -6,11 +6,12 @@ MD=smu
RSS=index.ttl
BIB=publications/index.ttl
-PAGES=$(shell find . -name '*.txt' ! -name 'robots.txt' ! -name $(RSS))
+BIBTXT=publications/index.txt
+PAGES=$(shell find . -name '*.txt' ! -name 'robots.txt' ! -name $(RSS)) $(BIBTXT)
PUBS=$(shell find ./publications/ -name '*.txt' ! -name 'index.*')
EXTRAS=$(shell find . -name '*.css') card.ttl
-TARGETS=$(PAGES:.txt=.xml) $(RSS) # $(PUBS:.txt=.pdf)
-GZIP=$(PAGES:=.gz) $(TARGETS:=.gz) $(EXTRAS:=.gz)
+TARGETS=$(PAGES:.txt=.xml) $(RSS) $(BIBTXT)
+GZIP=$(PAGES:=.gz) $(TARGETS:=.gz) $(EXTRAS:=.gz) $(BIB:=.gz)
all: $(TARGETS) $(GZIP)