From: Ben Pfaff <blp@gnu.org>
Date: Sun, 11 Oct 2009 20:53:50 +0000 (-0700)
Subject: Drop double suffixes from makefiles to improve POSIX make compliance.
X-Git-Tag: lenny-x64-build41~6
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a0d343bfea40507c4575320fea70aacbbf09799d;hp=a0d343bfea40507c4575320fea70aacbbf09799d;p=pspp-builds.git

Drop double suffixes from makefiles to improve POSIX make compliance.

POSIX says that suffixes must contain only a single dot, e.g. ".inc.pl"
is not allowed.  So this commit renames files and adjusts the makefiles
to comply with this rule.
---