From: Wolfram Schneider <wosch@indexdata.dk>
Date: Fri, 4 Jul 2014 09:57:36 +0000 (+0200)
Subject: always use .tmp extension for temporary files generated by make.
X-Git-Tag: 1.0.0~437
X-Git-Url: http://lists.indexdata.dk/cgi-bin?a=commitdiff_plain;h=2e69119fcad91a2aa3a32ee2f01f2ab15768f322;hp=2e69119fcad91a2aa3a32ee2f01f2ab15768f322;p=mkws-moved-to-github.git

always use .tmp extension for temporary files generated by make.

We used a mix of .tmp and .new, which is kinda confusing.
---