summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile5
1 files changed, 5 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 96e3d8e..2b19a33 100644
--- a/Makefile
+++ b/Makefile
@@ -10,6 +10,7 @@ BIB=pubs/index.ttl
BIBTXT=pubs/index.txt
PAGES=$(shell find . -name '*.txt' ! -name 'robots.txt' ! -name $(RSS)) $(BIBTXT)
PUBS=$(shell find ./pubs/ -name '*.txt' ! -name 'index.*')
+ARTS=$(shell find ./articles/ -name '*.txt' ! -name 'index.*')
EXTRAS=$(shell find . -name '*.css') card.ttl
TARGETS=$(PAGES:.txt=.html) $(RSS) $(BIBTXT)
GZIP=$(PAGES:=.gz) $(TARGETS:=.gz) $(EXTRAS:=.gz) $(BIB:=.gz)
@@ -50,6 +51,10 @@ pubs/index.txt: $(BIB)
echo making $@
sh bibtotxt.sh $< > $@
+articles/index.txt: $(ARTS)
+ echo making $@
+ sh dirindex.sh articles > $@
+
clean:
rm -f -- $(TARGETS) $(GZIP)