From ddf264985bf2adc7e528b1c82eb62be08f71ac3e Mon Sep 17 00:00:00 2001
From: Sebastian Lackner <sebastian@fds-team.de>
Date: Sat, 26 Jul 2014 22:21:07 +0200
Subject: [PATCH] Add missing file Makefile.in.

---
 debian/tools/Makefile.in | 28 ++++++++++++++++++++++++++++
 1 file changed, 28 insertions(+)
 create mode 100644 debian/tools/Makefile.in

diff --git a/debian/tools/Makefile.in b/debian/tools/Makefile.in
new file mode 100644
index 00000000..9ee8fecb
--- /dev/null
+++ b/debian/tools/Makefile.in
@@ -0,0 +1,28 @@
+#
+# This file is automatically generated, DO NOT EDIT!
+#
+
+CURDIR ?= ${{.CURDIR}}
+PATCH := $(CURDIR)/../debian/tools/gitapply.sh -d $(DESTDIR)
+
+PATCHLIST :=	{patchlist}
+
+.PHONY: install
+install:
+	@$(MAKE) apply; \
+	status=$$?;     \
+	rm -f *.ok;     \
+	exit $$status
+
+.PHONY: apply
+apply: $(PATCHLIST)
+	cat *.ok | sort | $(CURDIR)/../debian/tools/patchlist.sh | $(PATCH)
+	cd $(DESTDIR) && autoreconf -f
+	cd $(DESTDIR) && ./tools/make_requests
+
+.PHONY: clean
+clean:
+	rm -f *.ok
+
+.NOTPARALLEL:
+