diff options
author | Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org> | 2021-06-10 01:38:11 +0200 |
---|---|---|
committer | Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org> | 2021-06-10 01:38:11 +0200 |
commit | 9826a61c6637c15d3429b2ab63bde614313fdc03 (patch) | |
tree | 081cb72cf3692c36653849b87ec75488d5a7da04 /index.html | |
parent | 8588eb42b905dda9cf6ff3cc8afd181485a24ec9 (diff) | |
download | git.replicant.us-9826a61c6637c15d3429b2ab63bde614313fdc03.tar.gz git.replicant.us-9826a61c6637c15d3429b2ab63bde614313fdc03.tar.bz2 git.replicant.us-9826a61c6637c15d3429b2ab63bde614313fdc03.zip |
Makefile: Also install htdocs
Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
Diffstat (limited to 'index.html')
0 files changed, 0 insertions, 0 deletions