some improvements

This commit is contained in:
2025-07-04 23:45:54 +02:00
parent a57dafdb00
commit 1d6593dcc1
5 changed files with 57 additions and 41 deletions

View File

@@ -13,6 +13,9 @@
#let is-web = to-bool(sys.inputs.at("web", default: "true"))
#let is-html() = { return target() == "html" }
#let git_rev = sys.inputs.at("git_rev", default: "")
#let git_commit_date = sys.inputs.at("git_commit_date", default: "")
#let res-path() = {
if is-html() {
"res/"