diff options
author | Bruno Santos | 2018-12-09 23:09:30 +0100 |
---|---|---|
committer | Bruno Santos | 2018-12-09 23:09:30 +0100 |
commit | 59d036acd3d2fb6f4c45eaed3c7fe3fc0b892bee (patch) | |
tree | 7f3d00ad23e510fabb116e2ead27673bd16db9e0 /PKGBUILD | |
parent | fdc4288452e0187e409bf4e5ddd6a1ac2537f681 (diff) | |
download | aur-59d036acd3d2fb6f4c45eaed3c7fe3fc0b892bee.tar.gz |
Remove optional dependency
The RTD theme is indeed used for building documentation, but we don't do
so and, even if we did, it would be a make dependency anyway. This patch
simply removes the dependency.
No need for rebuilding the package.
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 2 |
1 files changed, 0 insertions, 2 deletions
@@ -11,8 +11,6 @@ arch=('i686' 'x86_64') url='https://gitlab.com/bms-contrib/hawkmoth' license=('BSD2') depends=('python-sphinx' 'clang') -makedepends=() -optdepends=('python-sphinx_rtd_theme: Read The Docs theme is used for documentation by default') source=('git+https://gitlab.com/bms-contrib/hawkmoth#branch=unrot') md5sums=('SKIP') |