diff options
| author | Johannes Winkelmann <jw@smts.ch> | 2006-04-06 06:29:06 +0000 |
|---|---|---|
| committer | Johannes Winkelmann <jw@smts.ch> | 2006-04-06 06:29:06 +0000 |
| commit | 328f94b9066a672c1e3d9732426d4162d411dec7 (patch) | |
| tree | ee0fdb3c49ee9b1663c741a1e5a36c66267748d2 /subversion | |
| parent | ab154946371edfdba73351d6783b9fd2c2a1a0ba (diff) | |
| download | opt-328f94b9066a672c1e3d9732426d4162d411dec7.tar.gz opt-328f94b9066a672c1e3d9732426d4162d411dec7.tar.xz | |
subversion: remove potential info pages
Diffstat (limited to 'subversion')
| -rw-r--r-- | subversion/Pkgfile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/subversion/Pkgfile b/subversion/Pkgfile index dfb03fe42..14b3e4a8e 100644 --- a/subversion/Pkgfile +++ b/subversion/Pkgfile @@ -19,4 +19,7 @@ build() { make make DESTDIR=$PKG external-install local-install sed -i -e "s|-L$PKG/usr/lib||g" $PKG/usr/lib/*.la + + # info pages seem to get generated when makeinfo is available + rm -rf $PKG/usr/info } |