always use .tmp extension for temporary files generated by make.
authorWolfram Schneider <wosch@indexdata.dk>
Fri, 4 Jul 2014 09:57:36 +0000 (11:57 +0200)
committerWolfram Schneider <wosch@indexdata.dk>
Fri, 4 Jul 2014 09:57:36 +0000 (11:57 +0200)
commit2e69119fcad91a2aa3a32ee2f01f2ab15768f322
tree11c9f93755dc6cc2958e5e6a032948b58d73f75c
parent8e7482cf04a9c47aa071e48a5d5a0ea8a35023f6
always use .tmp extension for temporary files generated by make.

We used a mix of .tmp and .new, which is kinda confusing.
tools/htdocs/Makefile