diff options
| author | Glenn Morris <rgm@gnu.org> | 2021-03-06 16:39:04 -0800 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2021-03-06 16:39:04 -0800 |
| commit | 3c6d087def3daafce27ee2e4108b025d44826e90 (patch) | |
| tree | c21508d7817e12fbe4048a9a5c761feda23b4453 | |
| parent | d632622b5aac5ff776e1b5048f29aeaf3ceaf553 (diff) | |
| download | emacs-3c6d087def3daafce27ee2e4108b025d44826e90.tar.gz | |
* admin/admin.el (make-manuals-dist-output-variables): Update.
| -rw-r--r-- | admin/admin.el | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/admin/admin.el b/admin/admin.el index 203cf10687e..e3701070d03 100644 --- a/admin/admin.el +++ b/admin/admin.el @@ -665,7 +665,7 @@ 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 + ("@\\(abs_\\)?top_builddir@" . ".") ; wrong but unused ("^\\(EMACS *=\\).*" . "\\1 emacs") ("^\\(\\(?:texinfo\\|buildinfo\\|emacs\\)dir *=\\).*" . "\\1 .") ("^\\(clean:.*\\)" . "\\1 infoclean") @@ -684,9 +684,7 @@ style=\"text-align:left\">") ("@INSTALL@" . "install -c") ("@INSTALL_DATA@" . "${INSTALL} -m 644") ("@configure_input@" . "") - ("@AM_DEFAULT_VERBOSITY@" . "0") - ("@AM_V@" . "${V}") - ("@AM_DEFAULT_V@" . "${AM_DEFAULT_VERBOSITY}")) + ("@AM_DEFAULT_VERBOSITY@" . "0")) "Alist of (REGEXP . REPLACEMENT) pairs for `make-manuals-dist'.") (defun make-manuals-dist--1 (root type) |