From: Simon Josefsson <simon@josefsson.org>
Date: Tue, 14 Feb 2006 12:53:58 +0000 (+0000)
Subject: * modules/maintainer-makefile (Files): Rename.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d1e0901e69cccaaef0b13e2b06ac576899ecf144;p=pspp

* modules/maintainer-makefile (Files): Rename.
---

diff --git a/modules/maintainer-makefile b/modules/maintainer-makefile
index ca44d12e49..f35cd23567 100644
--- a/modules/maintainer-makefile
+++ b/modules/maintainer-makefile
@@ -3,7 +3,7 @@ Helper GNUmakefile with syntax checks, build improvements, etc.
 
 Files:
 build-aux/GNUmakefile
-build-aux/Makefile.maint
+build-aux/maint.mk
 
 License:
 GPLed build tool