diff options
author | Michael Olbrich <m.olbrich@pengutronix.de> | 2016-06-07 07:10:00 +0200 |
---|---|---|
committer | Michael Olbrich <m.olbrich@pengutronix.de> | 2016-06-20 15:04:35 +0200 |
commit | 4de3ee9d66cff179c163731e5fe9bf4689f73c40 (patch) | |
tree | 4b27ee0f2b30e1f2d91b38abebf28d1c0cf05c15 /bin | |
parent | 6366864dcf139b835f7c6d9994fa48fdef64e305 (diff) | |
download | ptxdist-4de3ee9d66cff179c163731e5fe9bf4689f73c40.tar.gz ptxdist-4de3ee9d66cff179c163731e5fe9bf4689f73c40.tar.xz |
ptxdist: add support for BSP specific documentation
Signed-off-by: Michael Olbrich <m.olbrich@pengutronix.de>
Diffstat (limited to 'bin')
-rwxr-xr-x | bin/ptxdist | 34 |
1 files changed, 34 insertions, 0 deletions
diff --git a/bin/ptxdist b/bin/ptxdist index 970cb9aad..5e3e461a5 100755 --- a/bin/ptxdist +++ b/bin/ptxdist @@ -1006,6 +1006,8 @@ Misc: Not specifying the directory will undo the change. bash enter a ptxdist environment bash shell bash <cmd> [args...] execute <cmd> in ptxdist environment + docs-html generate HTML documentation + docs-latex generate LaTeX / PDF documentation export_src <target dir> export all source archives needed for this project to <target dir> Overwrite defaults: @@ -1201,6 +1203,34 @@ drop() { fi } +create_docs() { + local builder srcdir outdir dir entry + + builder="${1}" + outdir=${PTXDIST_WORKSPACE}/Documentation + + if [ "${PTXDIST_TOPDIR}" = "${PTXDIST_WORKSPACE}" ]; then + srcdir="${PTXDIST_TEMPDIR}/docs" + else + srcdir="${STATEDIR}/docs" + rm -rf "${srcdir}" && + ptxd_source_kconfig "${PTXDIST_PTXCONFIG}" && + ptxd_source_kconfig "${PTXDIST_PLATFORMCONFIG}" + fi && + + mkdir "${srcdir}" && + ptxd_in_path PTXDIST_PATH doc && + for dir in "${ptxd_reply[@]}"; do + for entry in $(cd "${dir}"; ls); do + cp -an "${dir}/${entry}" "${srcdir}/${entry}" || return + done + done && + sphinx-build -b "${builder}" -d "${outdir}/.doctrees" "${srcdir}" \ + "${outdir}/${builder}" && + if [ "${builder}" = "latex" ]; then + make -C "${outdir}/${builder}" + fi +} projects() { local ifs_old projects projectdir @@ -1884,6 +1914,10 @@ EOF drop "${1}" "${2}" exit ;; + docs-*) + create_docs "${cmd#docs-}" && + exit + ;; export_src) if [ -z "${1}" ]; then echo |