diff options
Diffstat (limited to 'p/hlint/debian/hlint.install')
| -rw-r--r-- | p/hlint/debian/hlint.install | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/p/hlint/debian/hlint.install b/p/hlint/debian/hlint.install index b7ee30b00..3fd92103a 100644 --- a/p/hlint/debian/hlint.install +++ b/p/hlint/debian/hlint.install @@ -1,5 +1,5 @@ -dist-ghc/build/hlint/hlint /usr/bin -data/hs-lint.el /usr/share/emacs/site-lisp data/*.hs /usr/share/hlint -data/report_template.html /usr/share/hlint data/hlint.ghci /usr/share/hlint +data/hs-lint.el /usr/share/emacs/site-lisp +data/report_template.html /usr/share/hlint +dist-ghc/build/hlint/hlint /usr/bin |