From ecc86b8c06538db060acce23315c7e2425723ea7 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?B=C3=A5rd=20Skaflestad?= Date: Mon, 30 Aug 2010 09:10:25 +0000 Subject: [PATCH] Change name of independent makefile to something which does not break dune- builds. --- makefile => libpreprocess.mk | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename makefile => libpreprocess.mk (100%) diff --git a/makefile b/libpreprocess.mk similarity index 100% rename from makefile rename to libpreprocess.mk