#!/usr/bin/env bash
set -e
ci_dir="$(dirname "$0")"
. "${ci_dir}/ci-common.sh"
if [ "$DOWNLOAD_ONLY" ]; then exit 0; fi
( cd "${CI_BUILD_DIR}/stdlib"
make refman-html
make stdlib-html
)
| Messung V0.5 in Prozent |
|---|
| | | |
[0.13QuellennavigatorsProjekt 2026-09-29]
