diff options
author | Eric Wong <bofh@yhbt.net> | 2021-05-25 22:59:47 +0000 |
---|---|---|
committer | Eric Wong <bofh@yhbt.net> | 2021-05-25 22:59:47 +0000 |
commit | 1c49146aa1c99c509110a9fe843b2b78b06361cb (patch) | |
tree | 5413bde0f3cb0444dc1170a5d0c1cd1ee4ef2abc | |
parent | eef7d03c055bfabe835a563c54680799dd946804 (diff) | |
download | raindrops-1c49146aa1c99c509110a9fe843b2b78b06361cb.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 |