[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#46837: Makefile dependencies for info files
From: |
Eli Zaretskii |
Subject: |
bug#46837: Makefile dependencies for info files |
Date: |
Thu, 04 Mar 2021 21:22:12 +0200 |
> From: Glenn Morris <rgm@gnu.org>
> Cc: 46837@debbugs.gnu.org
> Date: Thu, 04 Mar 2021 13:53:14 -0500
>
> Eli Zaretskii wrote:
>
> > Is the fact that we now rebuild info/dir each time we run "make", even
> > if nothing else is rebuilt, part of this issue?
>
> Probably. I can't reproduce that at 9e94509267. I did not try before.
Yes, it stopped now. Thanks.
- bug#46837: Makefile dependencies for info files, Eli Zaretskii, 2021/03/01
- bug#46837: Makefile dependencies for info files, Glenn Morris, 2021/03/04
- bug#46837: Makefile dependencies for info files, Glenn Morris, 2021/03/04
- bug#46837: Makefile dependencies for info files, Eli Zaretskii, 2021/03/05
- bug#46837: Makefile dependencies for info files, Glenn Morris, 2021/03/05
- 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