aboutsummaryrefslogtreecommitdiff
path: root/doc/manual
diff options
context:
space:
mode:
authorEelco Dolstra <edolstra@gmail.com>2020-12-03 14:35:42 +0100
committerEelco Dolstra <edolstra@gmail.com>2020-12-03 16:17:58 +0100
commit8ad2c9c4b97f291982598e34530122612c580b83 (patch)
tree8e06bf6d7cddfed4e5023f242e073ba1408febe2 /doc/manual
parent1b0ca3866bae7185e628fda956634c52a5da7a15 (diff)
Remove 'dist' target
We're not producing source tarballs anymore so this has been bitrotting.
Diffstat (limited to 'doc/manual')
-rw-r--r--doc/manual/local.mk2
1 files changed, 0 insertions, 2 deletions
diff --git a/doc/manual/local.mk b/doc/manual/local.mk
index b40fa4ed2..ee5b328de 100644
--- a/doc/manual/local.mk
+++ b/doc/manual/local.mk
@@ -13,8 +13,6 @@ man-pages := $(foreach n, \
clean-files += $(d)/*.1 $(d)/*.5 $(d)/*.8
-dist-files += $(man-pages)
-
# Provide a dummy environment for nix, so that it will not access files outside the macOS sandbox.
dummy-env = env -i \
HOME=/dummy \