summaryrefslogtreecommitdiffhomepage
path: root/m4/foot.m4
diff options
context:
space:
mode:
authorThomas Voss <mail@thomasvoss.com> 2024-02-23 15:22:05 +0100
committerThomas Voss <mail@thomasvoss.com> 2024-02-23 15:22:05 +0100
commit7abf6c5a40bd14e2719d0423426fa905076ec97e (patch)
tree3fbb57e10af731ed21900c455e72421660234128 /m4/foot.m4
parent208ddaa76019af05d1e0f352912dab38ceedad6b (diff)
Use doubled curly-quotes for m4
Diffstat (limited to 'm4/foot.m4')
-rw-r--r--m4/foot.m410
1 files changed, 5 insertions, 5 deletions
diff --git a/m4/foot.m4 b/m4/foot.m4
index 243a84b..c980b9a 100644
--- a/m4/foot.m4
+++ b/m4/foot.m4
@@ -1,11 +1,11 @@
-m4_define(FOOT, ⁨
- m4_define(⁨__HASH⁩, m4_esyscmd(
- git rev-list --max-count=1 ⁨HEAD⁩ m4___file__
+m4_define(FOOT, ‘‘
+ m4_define(‘‘__HASH’’, m4_esyscmd(
+ git rev-list --max-count=1 ‘‘HEAD’’ m4___file__
))
- m4_define(⁨__DATE⁩, m4_esyscmd(
+ m4_define(‘‘__DATE’’, m4_esyscmd(
git log --max-count=1 --pretty='format:%cI' m4___file__ \
| xargs --no-run-if-empty -- date '+%-d %B %Y (%A) — %T %Z' --date \
| ifne -n echo 'No commit yet…'
))
m4_include(foot.gsp)
-⁩)
+’’)