move the webdocs build script to manual/web

# -----------------------------------------------------------------------------

add_custom_target(docs

    COMMAND mkdir -p ${CMAKE_CURRENT_BINARY_DIR}/wwwdocs

    COMMAND ${CMAKE_CURRENT_SOURCE_DIR}/extra/web/build.sh ${CMAKE_CURRENT_BINARY_DIR}/wwwdocs)

    COMMAND ${CMAKE_CURRENT_SOURCE_DIR}/manual/web/build.sh ${CMAKE_CURRENT_BINARY_DIR}/wwwdocs)

file(GLOB figure_files "manual/figures/*.fvz")

foreach(figure_path ${figure_files})

cd "$(dirname "$0")/../.."

cp extra/web/documentation.css "${output_dir}"

cp extra/web/redirects.txt "${output_dir}/_redirects"

cp extra/web/favicon.ico "${output_dir}"

cp manual/web/documentation.css "${output_dir}"

cp manual/web/redirects.txt "${output_dir}/_redirects"

cp manual/web/favicon.ico "${output_dir}"

mkdir -p "${output_dir}/documentation/figures"

cp manual/figures/*.svg "${output_dir}/documentation/figures/"

./extra/web/build_api_reference.py

./extra/web/build_examples.py

./extra/web/build_pages.py

./manual/web/build_api_reference.py

./manual/web/build_examples.py

./manual/web/build_pages.py

  print("> Building page: %s" % url)

  title = elem["name"]

  tpl = Path("extra/web/reference_detail.tpl.html").read_text()

  tpl = Path("manual/web/reference_detail.tpl.html").read_text()

  html = TPL.render(tpl, elem)

  write_page(url, html, title=title)