On Sun, 5 Apr 2020 20:18:06 +0200 Denis 'GNUtoo' Carikli <[email protected]> wrote:
> Without that fix, after modifying a php file and typing make, > the corresponding html files are not regenerated. > > This can be really problematic for contributors that are not familiar > with Makefiles as the behavior was completely counter intuitive. > > This fixes the issue and restores the expected behavior. > > Signed-off-by: Denis 'GNUtoo' Carikli <[email protected]> > --- I've now pushed this patch. Denis.
pgpGNxuksquDv.pgp
Description: OpenPGP digital signature
_______________________________________________ Replicant mailing list [email protected] https://lists.osuosl.org/mailman/listinfo/replicant
