[PATCH] make.texi (Remaking Makefiles): Mention MAKE_RESTARTS

I think it makes sense to mention MAKE_RESTARTS in the section on remaking makefiles. Thanks, Florian >From 4ded2321ab3ec09d8cc8a648e8de53d53a9756d3 Mon Sep 17 00:00:00 2001 From: Florian Weimer Date: Tue, 24 Oct 2017 11:26:29 +0200 Subject: [PATCH] * make.texi (Remaking Makefiles): Mention MAK

[bug #52273] Documentation about remaking makefiles should mention MAKE_RESTARTS

URL: Summary: Documentation about remaking makefiles should mention MAKE_RESTARTS Project: make Submitted by: thomastc Submitted on: Tue 24 Oct 2017 09:29:58 AM UTC Severity: 3 - Norma