Batch mode

[iacore]

I make a script that generates HTML for installed packages. Maybe this useful?

https://gist.github.com/locriacyber/624e5da6825ea8b8e57c8c58899df484

There is also the script that generates
https://github.com/stefan-hoeck/idris2-pack-docs
although I can't find it now.

[gallais]

On the main repo, we have https://github.com/idris-lang/Idris2/blob/main/.github/scripts/katla.sh