1 # this is the local.mk file used by Eric Wong on his dev boxes.
2 # GNUmakefile will source local.mk in the top-level source tree
5 # This is depends on a bunch of GNU-isms from bash, sed, touch.
8 @awk 'BEGIN{RS="=== ";ORS=""}NR==2{sub(/\n$$/,"");print RS""$$0 }' $<
10 # publishes docs to http://upr.bogomips.org
15 $(MAKE) -s latest > doc/LATEST
16 find doc/images doc/js -type f | \
17 TZ=UTC xargs touch -d '1970-01-01 00:00:00' doc/rdoc.css
19 chmod 644 $$(find doc -type f)
20 rsync -av --delete doc/ dcvr:/srv/upr/
21 git ls-files | xargs touch
23 # Create gzip variants of the same timestamp as the original so nginx
24 # "gzip_static on" can serve the gzipped versions directly.
25 doc_gz: suf := html js css
26 doc_gz: docs = $(shell find doc -type f ! -regex '^.*\.\(gif\|jpg\|png\|gz\)$$')
28 touch doc/NEWS.atom.xml -d "$$(awk 'NR==1{print $$4,$$5,$$6}' NEWS)"
29 for i in $(docs); do \
30 gzip --rsyncable -9 < $$i > $$i.gz; touch -r $$i $$i.gz; done