diff options
Diffstat (limited to 'local.mk.sample')
| -rw-r--r-- | local.mk.sample | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/local.mk.sample b/local.mk.sample new file mode 100644 index 0000000..a651792 --- /dev/null +++ b/local.mk.sample @@ -0,0 +1,30 @@ +# this is the local.mk file used by Eric Wong on his dev boxes. +# GNUmakefile will source local.mk in the top-level source tree +# if it is present. +# +# This is depends on a bunch of GNU-isms from bash, sed, touch. + +latest: NEWS + @awk 'BEGIN{RS="=== ";ORS=""}NR==2{sub(/\n$$/,"");print RS""$$0 }' $< + +# publishes docs to http://upr.bogomips.org +publish_doc: + -git set-file-times + $(RM) -r doc + $(MAKE) doc + $(MAKE) -s latest > doc/LATEST + find doc/images doc/js -type f | \ + TZ=UTC xargs touch -d '1970-01-01 00:00:00' doc/rdoc.css + $(MAKE) doc_gz + chmod 644 $$(find doc -type f) + rsync -av --delete doc/ dcvr:/srv/upr/ + git ls-files | xargs touch + +# 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: docs = $(shell find doc -type f ! -regex '^.*\.\(gif\|jpg\|png\|gz\)$$') +doc_gz: + touch doc/NEWS.atom.xml -d "$$(awk 'NR==1{print $$4,$$5,$$6}' NEWS)" + for i in $(docs); do \ + gzip --rsyncable -9 < $$i > $$i.gz; touch -r $$i $$i.gz; done |