[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#46837: Makefile dependencies for info files
From: |
Glenn Morris |
Subject: |
bug#46837: Makefile dependencies for info files |
Date: |
Sat, 06 Mar 2021 12:38:38 -0500 |
User-agent: |
Gnus (www.gnus.org), GNU Emacs (www.gnu.org/software/emacs/) |
Eli Zaretskii wrote:
> So it will fail even if all the Info files are already in the tree,
> when makeinfo is not available? Or are you saying that in order for
> "make" not to fail one must touch not just info/emacs.info, but also
> all the rest of the *.info files?
?
If all the info file are already there, make will see that they are newer
than their dependencies, so it won't try to rebuild them.
There's no need to "touch" anything, and I would/did not recommend
doing so.
> No argument there, I was talking about fire escape. After all, we are
> removing a "feature" that existed in previous releases.
--without-makeinfo was always irrelevant in _releases_, where the info
files are pre-built.
> It would be good to tell people how to get back the old behavior, I
> think.
They can always do "make lisp" (I think) instead of "make [all]".
Or you can add a target "all-noinfo" which is just "all" without "info",
but I don't know who the users of such a target would be.
- bug#46837: Makefile dependencies for info files, (continued)
- bug#46837: Makefile dependencies for info files, Stefan Kangas, 2021/03/05
- bug#46837: Makefile dependencies for info files, Michael Albinus, 2021/03/07
- bug#46837: Makefile dependencies for info files, Glenn Morris, 2021/03/07
- bug#46837: Makefile dependencies for info files, Michael Albinus, 2021/03/07
- bug#46837: Makefile dependencies for info files, Glenn Morris, 2021/03/07
- bug#46837: Makefile dependencies for info files, Michael Albinus, 2021/03/07
- bug#46837: Makefile dependencies for info files, Glenn Morris, 2021/03/07
- bug#46837: Makefile dependencies for info files, Glenn Morris, 2021/03/08
- bug#46837: Makefile dependencies for info files, Michael Albinus, 2021/03/08
- bug#46837: Makefile dependencies for info files, Eli Zaretskii, 2021/03/05
- bug#46837: Makefile dependencies for info files,
Glenn Morris <=
- bug#46837: Makefile dependencies for info files, Eli Zaretskii, 2021/03/06