doc: preserve times in website
commitefb0302b9a55838552b17eef2387ac53d24269d1
authorEric Wong <e@80x24.org>
Mon, 18 Jan 2016 07:18:07 +0000 (18 07:18 +0000)
committerEric Wong <e@80x24.org>
Mon, 18 Jan 2016 07:18:07 +0000 (18 07:18 +0000)
tree08da480aac8d0a199e728e9f53984c42f941087f
parent3083b7fbe2bc6e8dcd935b10bb7a165257c5252b
doc: preserve times in website

We should not be busting caches and wasting visitor's bandwidth
for unmodified files.
Documentation/GNUmakefile
Rakefile