From dbbe5de13c10b552560f0fffbb54856358b5a759 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Thu, 5 Jul 2012 08:03:34 +0200 Subject: [PATCH] add doc/SubmittingPatches to the distribution Signed-off-by: Sven Verdoolaege --- Makefile.am | 1 + 1 file changed, 1 insertion(+) diff --git a/Makefile.am b/Makefile.am index 565405cb..d4500e0e 100644 --- a/Makefile.am +++ b/Makefile.am @@ -246,6 +246,7 @@ EXTRA_DIST = \ isl_pw_templ.c \ isl_union_templ.c \ isl.py \ + doc/SubmittingPatches \ doc/chicago.bst \ doc/chicago.sty \ doc/implementation.tex \ -- 2.11.4.GIT