diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2020-12-03 14:35:42 +0100 |
---|---|---|
committer | Eelco Dolstra <edolstra@gmail.com> | 2020-12-03 16:17:58 +0100 |
commit | 8ad2c9c4b97f291982598e34530122612c580b83 (patch) | |
tree | 8e06bf6d7cddfed4e5023f242e073ba1408febe2 /doc/manual/local.mk | |
parent | 1b0ca3866bae7185e628fda956634c52a5da7a15 (diff) |
Remove 'dist' target
We're not producing source tarballs anymore so this has been
bitrotting.
Diffstat (limited to 'doc/manual/local.mk')
-rw-r--r-- | doc/manual/local.mk | 2 |
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 \ |