diff options
| author | Omar Vega Ramos <ovruni@gnu.org.pe> | 2017-07-06 15:14:45 -0500 |
|---|---|---|
| committer | Omar Vega Ramos <ovruni@gnu.org.pe> | 2017-07-06 15:14:45 -0500 |
| commit | 3f10cca999669200eeb5fc49d8411082fb5278a5 (patch) | |
| tree | 0a7c13c2a5c45121aefaecaf29e9f6a2ee08e5a4 /libre/ogre | |
| parent | 67e31320cd6bb0941d3db1e7256baa3745a81cce (diff) | |
ogre: minor fix
Diffstat (limited to 'libre/ogre')
| -rw-r--r-- | libre/ogre/PKGBUILD | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/libre/ogre/PKGBUILD b/libre/ogre/PKGBUILD index cde69dc11..2d5283a66 100644 --- a/libre/ogre/PKGBUILD +++ b/libre/ogre/PKGBUILD @@ -106,15 +106,12 @@ package_ogre() { conflicts=(${pkgbase}-libre) replaces=(${pkgbase}-libre) - cd ogre/build + cd ${pkgbase}/build make DESTDIR=$pkgdir install # install license install -vDm644 ../COPYING ${pkgdir}/usr/share/licenses/${pkgname}/COPYING - - # move docs out of this package - mv ${pkgdir}/usr/share/OGRE/docs ${srcdir}/docs } # vim:set ts=2 sw=2 et: |