diff options
Diffstat (limited to 'build-aux')
-rwxr-xr-x | build-aux/make-info-dir | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build-aux/make-info-dir b/build-aux/make-info-dir index 3490b7a31f9..64cf2d43f16 100755 --- a/build-aux/make-info-dir +++ b/build-aux/make-info-dir @@ -38,7 +38,7 @@ shift exec "${AWK-awk}" ' function detexinfo() { - gsub(/@value{emacsname}/, "Emacs") + gsub(/@value\{emacsname\}/, "Emacs") gsub(/@[^{]*\{/, "") gsub(/}/, "") } |