summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xkbuild.sh10
1 files changed, 10 insertions, 0 deletions
diff --git a/kbuild.sh b/kbuild.sh
index 7aae1ed..d5bd3c6 100755
--- a/kbuild.sh
+++ b/kbuild.sh
@@ -178,7 +178,17 @@ fi
#
if [[ $do_compile_doc == 1 ]] ; then
+ (
+ if [[ ! -f $PWD/output/doc/bin/activate ]] ; then
+ virtualenv $PWD/output/doc
+ source $PWD/output/doc/bin/activate
+ pip install -r Documentation/sphinx/requirements.txt
+ else
+ source $PWD/output/doc/bin/activate
+ fi
+
$pmake DOCBOOKS='' htmldocs
+ )
fi
#