diff options
author | Joey Hess <joeyh@joeyh.name> | 2016-07-19 14:42:11 -0400 |
---|---|---|
committer | Joey Hess <joeyh@joeyh.name> | 2016-07-19 14:42:11 -0400 |
commit | 4df902cd2d9a940a99b36566380877daaed793e2 (patch) | |
tree | 3b8bed28d9448cd2b2050978c36bce6d37fb1950 /Makefile | |
parent | 4ae8928630cd0ec38d417b6132b229441138e745 (diff) |
fix clean of Build/MakeMans
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -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 {} \; |