From: Richard W.M. Jones <rjones@redhat.com>
Date: Sat, 25 Jan 2020 22:08:57 +0000 (+0000)
Subject: dist: Add extra files to tarball.
X-Git-Url: http://git.annexia.org/?p=goals.git;a=commitdiff_plain;h=a27ff6e673e238575060b3a3845530562e039c67

dist: Add extra files to tarball.

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

Fixes commit bed4036653ce47a91b96dd0ead65341aa80d6b97.
---

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,