diff options
author | Eric Wong <bofh@yhbt.net> | 2021-05-25 22:59:47 +0000 |
---|---|---|
committer | Eric Wong <bofh@yhbt.net> | 2021-05-25 23:19:06 +0000 |
commit | f6530b633ed97217f7bb09980d4391dd213e193d (patch) | |
tree | 58f3fe0aa43ece120f40fc96e724858c4a840ce8 | |
parent | 4db359156adb5aed102ec853f56c030ba40b1eca (diff) | |
download | kgio-f6530b633ed97217f7bb09980d4391dd213e193d.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 |