diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -39,8 +39,8 @@ dist/setup-config: openpgp.cabal | |||
39 | 39 | ||
40 | clean: | 40 | clean: |
41 | find -name '*.o' -o -name '*.hi' | xargs $(RM) | 41 | find -name '*.o' -o -name '*.hi' | xargs $(RM) |
42 | $(RM) sign verify | 42 | $(RM) sign verify keygen |
43 | $(RM) -r dist | 43 | $(RM) -r dist dist-ghc |
44 | 44 | ||
45 | debian/control: openpgp.cabal | 45 | debian/control: openpgp.cabal |
46 | cabal-debian --update-debianization | 46 | cabal-debian --update-debianization |