diff options
Diffstat (limited to 'admin/admin.el')
| -rw-r--r-- | admin/admin.el | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/admin/admin.el b/admin/admin.el index d032c1ceb85..203cf10687e 100644 --- a/admin/admin.el +++ b/admin/admin.el @@ -665,6 +665,8 @@ style=\"text-align:left\">") (defconst make-manuals-dist-output-variables '(("@\\(top_\\)?srcdir@" . ".") ; top_srcdir is wrong, but not used + ("@abs_top_builddir@" . ".") ; wrong but unused + ("^\\(EMACS *=\\).*" . "\\1 emacs") ("^\\(\\(?:texinfo\\|buildinfo\\|emacs\\)dir *=\\).*" . "\\1 .") ("^\\(clean:.*\\)" . "\\1 infoclean") ("@MAKEINFO@" . "makeinfo") @@ -714,7 +716,8 @@ style=\"text-align:left\">") (string-match-p "\\.\\(eps\\|pdf\\)\\'" file))) (copy-file file stem))) (with-temp-buffer - (let ((outvars make-manuals-dist-output-variables)) + (let ((outvars make-manuals-dist-output-variables) + (case-fold-search nil)) (push `("@version@" . ,version) outvars) (insert-file-contents (format "../doc/%s/Makefile.in" type)) (dolist (cons outvars) |