diff options
-rwxr-xr-x | kbuild.sh | 7 |
1 files changed, 6 insertions, 1 deletions
@@ -36,6 +36,7 @@ do_package_deb=0 opt_bootloader= opt_cmdline_file= opt_defconfig= +opt_doc_dirs='.' opt_make_opts= while [[ $# != 0 ]] ; do @@ -76,6 +77,10 @@ while [[ $# != 0 ]] ; do --doc) do_compile_doc=1 ;; + --doc=*) + do_compile_doc=1 + opt_doc_dirs="${option/--doc=/}" + ;; --) platform=auto ;; @@ -187,7 +192,7 @@ if [[ $do_compile_doc == 1 ]] ; then source $PWD/output/doc/bin/activate fi - $pmake DOCBOOKS='' htmldocs + $pmake SPHINXDIRS="${opt_doc_dirs}" htmldocs ) fi |