summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorSilvio Rhatto <rhatto@riseup.net>2024-08-23 13:51:05 -0300
committerSilvio Rhatto <rhatto@riseup.net>2024-08-23 13:51:05 -0300
commit55e61221a1e746fb0e8365748237c48e6d75a8b5 (patch)
tree8a11415a178036839cddedcad7e2929e4a64ade9 /Makefile
parentbca7ecf5b4488263095d9000b209a84890e8beb3 (diff)
downloaddebian-master.tar.gz
debian-master.tar.bz2
Feat: MkDocs improvementsHEADmaster
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 9496741..c7b1cf4 100644
--- a/Makefile
+++ b/Makefile
@@ -22,6 +22,8 @@ web:
web_deploy:
@rsync -avz --delete --exclude=keyring site/ debian:/var/sites/debian/www/
+docs: web
+
publish: web web_deploy
keyring: