all: publish_doc: -git set-file-times $(MAKE) doc $(MAKE) doc_gz rsync -av --delete doc/ dcvr:/srv/bogomips/local-openid/ git ls-files | xargs touch doc: .document rdoc -Na -m README.txt -t "$(shell sed -ne '1s/^= //p' README.txt)" # Create gzip variants of the same timestamp as the original so nginx # "gzip_static on" can serve the gzipped versions directly. doc_gz: suf := html js css doc_gz: globs := $(addprefix doc/*.,$(suf)) $(addprefix doc/*/*.,$(suf)) doc_gz: docs := $(wildcard $(globs)) doc_gz: for i in $(docs); do gzip < $$i > $$i.gz; touch -r $$i $$i.gz; done