diff options
Diffstat (limited to 'local.mk.sample')
-rw-r--r-- | local.mk.sample | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/local.mk.sample b/local.mk.sample index 68cb044..b229567 100644 --- a/local.mk.sample +++ b/local.mk.sample @@ -33,9 +33,13 @@ latest: NEWS # publishes docs to http://unicorn.bogomips.org publish_doc: -git set-file-times + $(RM) -r doc $(MAKE) doc $(MAKE) -s latest > doc/LATEST + find doc/images -type f | \ + TZ=UTC xargs touch -d '1970-01-01 00:00:00' doc/rdoc.css $(MAKE) doc_gz + chmod 444 $$(find doc -type f) rsync -av --delete doc/ dcvr:/srv/unicorn/ git ls-files | xargs touch |