diff options
Diffstat (limited to 'maintainer-scripts/update_web_docs_git')
| -rwxr-xr-x | maintainer-scripts/update_web_docs_git | 27 |
1 files changed, 16 insertions, 11 deletions
diff --git a/maintainer-scripts/update_web_docs_git b/maintainer-scripts/update_web_docs_git index 574397c..00334dd 100755 --- a/maintainer-scripts/update_web_docs_git +++ b/maintainer-scripts/update_web_docs_git @@ -205,11 +205,12 @@ done # # The COBOL FE maintains man pages. Convert them to HTML and PDF. # -mdoc2pdf_html() { +cobol_mdoc2pdf_html() { + mkdir -p $DOCSDIR/gcobol gcobol input="$1" d="${input%/*}" - pdf="$d/$2" - html="$d/$3" + pdf="$2" + html="gcobol/$3" groff -mdoc -T pdf "$input" > "${pdf}~" mv "${pdf}~" "${pdf}" mandoc -T html "$filename" > "${html}~" @@ -221,10 +222,10 @@ find . -name gcobol.[13] | do case ${filename##*.} in 1) - mdoc2pdf_html "$filename" gcobol.pdf gcobol.html + cobol_mdoc2pdf_html "$filename" gcobol.pdf gcobol.html ;; 3) - mdoc2pdf_html "$filename" gcobol_io.pdf gcobol_io.html + cobol_mdoc2pdf_html "$filename" gcobol_io.pdf gcobol_io.html ;; esac done @@ -241,11 +242,15 @@ popd cp -a gcc/gcc/jit/docs/_build/html jit mkdir -p $DOCSDIR/jit -pushd gcc/gcc/doc/libgdiagnostics -make html SPHINXBUILD=$SPHINX_VENV/bin/sphinx-build || true -popd -cp -a gcc/gcc/doc/libgdiagnostics/_build/html libgdiagnostics -mkdir -p $DOCSDIR/libgdiagnostics +LIBGDIAGNOSTICS= +if test -d gcc/gcc/doc/libgdiagnostics; then + pushd gcc/gcc/doc/libgdiagnostics + make html SPHINXBUILD=$SPHINX_VENV/bin/sphinx-build || true + popd + cp -a gcc/gcc/doc/libgdiagnostics/_build/html libgdiagnostics + mkdir -p $DOCSDIR/libgdiagnostics + LIBGDIAGNOSTICS=libgdiagnostics +fi # Work around makeinfo generated file names and references with # "_002d" instead of "-". @@ -297,7 +302,7 @@ done # below them, and with some non-HTML files (.png images from us, # plus .css and .js supplied by sphinx, and source files, renamed # from .rst to .txt). -find jit libgdiagnostics \ +find jit $LIBGDIAGNOSTICS \ -name "*.html" -o -name "*.png" \ -o -name "*.css" -o -name "*.js" \ -o -name "*.txt" | |