From 1c49146aa1c99c509110a9fe843b2b78b06361cb Mon Sep 17 00:00:00 2001 From: Eric Wong Date: Tue, 25 May 2021 22:59:47 +0000 Subject: pkg.mk: remove index.html and created.rid from homepage 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. --- pkg.mk | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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 -- cgit v1.2.3-24-ge0c7