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 (file)
--- 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,