diff options
Diffstat (limited to 'build-aux/make-info-dir')
| -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 e5f4972902f..703abc7bd0a 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(/}/, "") } |