diff options
Diffstat (limited to 'GNUmakefile')
-rw-r--r-- | GNUmakefile | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/GNUmakefile b/GNUmakefile new file mode 100644 index 0000000..531f07a --- /dev/null +++ b/GNUmakefile @@ -0,0 +1,19 @@ +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 |