diff options
Diffstat (limited to 'local.mk.sample')
-rw-r--r-- | local.mk.sample | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/local.mk.sample b/local.mk.sample index 572ab8f..6896afa 100644 --- a/local.mk.sample +++ b/local.mk.sample @@ -41,5 +41,6 @@ publish_doc: 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 |