diff options
author | Eric Wong <bofh@yhbt.net> | 2021-05-25 23:02:46 +0000 |
---|---|---|
committer | Eric Wong <bofh@yhbt.net> | 2021-05-25 23:37:20 +0000 |
commit | c7d2e5dab777bb71fbe40c64ecef4d6a86a96205 (patch) | |
tree | 3c4d236880783f6c8d7ecbd5474a63d1875d1379 | |
parent | b6bed324c21a380062557b622ed6a91d8392a282 (diff) | |
download | clogger-c7d2e5dab777bb71fbe40c64ecef4d6a86a96205.tar.gz |
index.html and README.html are identical, so get rid of it. created.rid has no business being public, anyways. Our homepage is just a directory listing, nowadays, to improve discoverability of non-HTML docs.
-rw-r--r-- | pkg.mk | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -127,7 +127,8 @@ publish_doc: -git set-file-times $(MAKE) doc $(MAKE) doc_gz - $(RSYNC) -av doc/ $(RSYNC_DEST)/ + $(RSYNC) -av doc/ $(RSYNC_DEST)/ \ + --exclude index.html* --exclude created.rid* git ls-files | xargs touch endif |