From 59dfb79d0eb005b5ed6762362d531fe095f4635c Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Wed, 9 Oct 2013 13:13:08 +0100 Subject: [PATCH] Remove NOTES from EXTRA_DIST. This updates commit 3d473620d4474b9c968997e7786006f6ef4ee960. --- Makefile.am | 1 - 1 file changed, 1 deletion(-) diff --git a/Makefile.am b/Makefile.am index f6e2f32..54c3a6f 100644 --- a/Makefile.am +++ b/Makefile.am @@ -31,7 +31,6 @@ EXTRA_DIST = \ goaljobs.spec.in \ html/.gitignore \ META.in \ - NOTES \ pa_goal.ml \ README \ TODO -- 1.8.3.1