runcmd and ren in build.lua

[SwitWu]

Sorry for this kindof off-topic question. In build.lua there are runcmd and ren. Are they lua functions? I can not find them in the lua 5.4 reference manual.

[samcarter]

They are documented in l3build.pdf:

ren(⟨dir⟩, ⟨source⟩, ⟨destination⟩): Renames the ⟨source⟩ file to the ⟨destination⟩ name within the ⟨dir⟩; returns an error level.

---

runcmd(⟨cmd⟩,⟨dir⟩,{⟨envvars⟩}): A generic function which runs the ⟨cmd⟩ in the ⟨dir⟩, first setting up all of the environmental variables specified to point to the local and working directories. This function is useful when creating non-standard typesetting steps.

[SwitWu]

thanks!