Hmm… I’ll have to check later but right now I’m seeing the right thing in iOS. The blog is built by Hugo, so it’s all static files. But maybe something changed with the latest update. Thanks.
<h1 id=make-shell--expansion>make $(shell …) expansion</h1>
(Note: iOS probably displays … as U+2026 "…", which often looks identical to "...", but is actually a single non-ASCII character.)
I assume there's some semantic reason in which each is appropriate. I don't know what it is and am curious though!