Makefile (505B)
1 include config.mk 2 3 all: $(PAGES) $(TEXPAGES) 4 5 %: %.md 6 @echo " * generating $@" 7 @cat header.html nav.html | \ 8 sed "s/DEFAULT_TITLE/$(shell sed 1q $^) | $(WEBTITLE)/" > $@ 9 @$(MARKDOWN) $^ >> $@ 10 @cat footer.html >> $@ 11 12 %: %.tex 13 @echo " * generating $@" 14 @texi2pdf -c -q $^ -o $@ 15 16 clean: 17 rm -f $(PAGES) $(TEXPAGES) 18 19 push: all 20 @echo " * pushing to $(WEBHOST):$(WEBROOT)" 21 @rsync -P -e "ssh" -avul --delete --stats \ 22 --exclude-from "rsync-exclude" \ 23 . $(WEBHOST):$(WEBROOT) 24 25 .PHONY: all clean push