diff options
author | Hugo Osvaldo Barrera | 2015-08-31 09:38:29 -0300 |
---|---|---|
committer | Hugo Osvaldo Barrera | 2015-08-31 09:38:29 -0300 |
commit | bb55cee25461f8d4c5867348600763c04d36933d (patch) | |
tree | e0ba6d2c2aa22c3dea9023e53a9bf31850b9c014 | |
parent | 9a9f621b43f26f8089742934374155eddabb8483 (diff) | |
download | aur-bb55cee25461f8d4c5867348600763c04d36933d.tar.gz |
Fix documentation generation
Documentation generation relies on khal, so fails in systems without khal
installed.
Force this process to use khal for the git tree, therefor, not requiring khal
to be pre-installed to generate the doc.
-rw-r--r-- | PKGBUILD | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -30,7 +30,7 @@ pkgver() { build(){ cd "$srcdir/${_gitname}/doc" - make man + PYTHONPATH="$srcdir/khal make man" } package() { |