aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Joey Hess <joeyh@joeyh.name>2016-07-19 14:42:11 -0400
committerGravatar Joey Hess <joeyh@joeyh.name>2016-07-19 14:42:11 -0400
commit4df902cd2d9a940a99b36566380877daaed793e2 (patch)
tree3b8bed28d9448cd2b2050978c36bce6d37fb1950
parent4ae8928630cd0ec38d417b6132b229441138e745 (diff)
fix clean of Build/MakeMans
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 5db1b627c..325b345f6 100644
--- a/Makefile
+++ b/Makefile
@@ -101,7 +101,7 @@ clean:
doc/.ikiwiki html dist tags Build/SysConfig.hs \
Setup Build/InstallDesktopFile Build/EvilSplicer \
Build/Standalone Build/OSXMkLibs Build/LinuxMkLibs \
- Build/DistributionUpdate Build/BuildVersion Build/Mans \
+ Build/DistributionUpdate Build/BuildVersion Build/MakeMans \
git-union-merge .tasty-rerun-log
find . -name \*.o -exec rm {} \;
find . -name \*.hi -exec rm {} \;