chiark / gitweb /
~ian / subdirmk.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9307fbe) | patch
generate: Fix &${ } end condition
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 28 Dec 2019 23:01:49 +0000 (23:01 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Mon, 30 Dec 2019 11:35:16 +0000 (11:35 +0000)
commite36c3e76d81cd2dc6d157234bc60b6c9bd156e0d
tree43ad373f19438499d13bab86dba62e6ed65692e7tree | snapshot
parent9307fbe53d53ae3deacb391d0b5f3c552ace0a89commit | diff
generate: Fix &${ } end condition

It is quite wrong to use $ddbl, which might be adjusted by &$- &$+.
We must maintain a separate counter.

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
generate diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.