about summary refs log tree commit homepage
diff options
context:
space:
mode:
authorEric Wong <bofh@yhbt.net>2021-05-25 22:59:47 +0000
committerEric Wong <bofh@yhbt.net>2021-05-25 23:19:06 +0000
commitf6530b633ed97217f7bb09980d4391dd213e193d (patch)
tree58f3fe0aa43ece120f40fc96e724858c4a840ce8
parent4db359156adb5aed102ec853f56c030ba40b1eca (diff)
downloadkgio-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.mk3
1 files changed, 2 insertions, 1 deletions
diff --git a/pkg.mk b/pkg.mk
index 628830d..ebed5da 100644
--- a/pkg.mk
+++ b/pkg.mk
@@ -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