diff options
| author | Clint Adams <clint@debian.org> | 2012-11-13 01:27:30 +0400 |
|---|---|---|
| committer | Clint Adams <clint@debian.org> | 2012-11-13 01:27:30 +0400 |
| commit | fc380d5ffc6253fc67ba3f5630ec7af754117f13 (patch) | |
| tree | 1edcc254a9f8ed3b5b43c4aecf167c837e7ce30f /p/gtk2hs-buildtools/debian/rules | |
| parent | 904c68a7b12aec10e8062342e8a28e170d9c9655 (diff) | |
| download | DHG_packages-fc380d5ffc6253fc67ba3f5630ec7af754117f13.tar.gz | |
gtk2hs-buildtools: New upstream version 0.12.4.
Diffstat (limited to 'p/gtk2hs-buildtools/debian/rules')
| -rwxr-xr-x | p/gtk2hs-buildtools/debian/rules | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/p/gtk2hs-buildtools/debian/rules b/p/gtk2hs-buildtools/debian/rules index 23de4dd00..c4ffa0d21 100755 --- a/p/gtk2hs-buildtools/debian/rules +++ b/p/gtk2hs-buildtools/debian/rules @@ -10,4 +10,4 @@ build/gtk2hs-buildtools:: build-ghc-stamp install/gtk2hs-buildtools:: $(DEB_SETUP_BIN_NAME) copy --builddir=dist-ghc \ --destdir=debian/gtk2hs-buildtools/ - rm -r debian/gtk2hs-buildtools/usr/share/doc/gtk2hs-buildtools-0.12.3 + rm -r debian/gtk2hs-buildtools/usr/share/doc/gtk2hs-buildtools-0.12.4 |