From 01ac46581c44c00c1b75ebc0d94fe89f934afd9f Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Thu, 7 Jan 2016 14:36:42 +0100
Subject: [PATCH] add isl.py to distribution

This was missing from 92c5053 (generate own isl.py, Mon Nov 23 16:27:29
2015 +0100).

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
---
 Makefile.am | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Makefile.am b/Makefile.am
index 337fc17..629c474 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -133,6 +133,7 @@ isl.py: interface/isl.py.top
 			> isl.py
 
 dist-hook: isl.py
+	cp isl.py $(distdir)/
 	echo @GIT_HEAD_VERSION@ > $(distdir)/GIT_HEAD_ID
 
 gitversion.h: @GIT_HEAD@
-- 
2.11.4.GIT