Improve and fix scripts#12

Merged

zekefast merged 2 commits intomainfrom

improve_scripts

Dec 29, 2025

Commits on Dec 29, 2025

Switch shell scripts from `#!/bin/bash` shebang to `#!/usr/bin/env -S bash -euo pipefail`.
zekefast
committed
Improve and fix build_relm_docs.sh script.
zekefast
committed