From a27ff6e673e238575060b3a3845530562e039c67 Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Sat, 25 Jan 2020 22:08:57 +0000
Subject: [PATCH] dist: Add extra files to tarball.
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

We need files like ‘Makefile.am’ and ‘compile’ in order for the
tarball to be built without autotools.

Fixes commit bed4036653ce47a91b96dd0ead65341aa80d6b97.
---
 Goalfile.in | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Goalfile.in b/Goalfile.in
index 6c67709..711016e 100644
--- a/Goalfile.in
+++ b/Goalfile.in
@@ -222,10 +222,13 @@ let distfiles = [
     ".gitignore",
     "COPYING",
     "Goalfile.in",
+    "Makefile.am",
     "Makefile.in",
     "README",
     "TODO",
+    "aclocal.m4",
     "autogen.sh",
+    "compile",
     "config.h.in",
     "configure",
     "configure.ac",
@@ -233,6 +236,7 @@ let distfiles = [
     "goals.spec.in",
     "install-sh",
     "m4/ocaml.m4",
+    "missing",
     "run.in",
     "src/.depend",
     sources,
-- 
1.8.3.1