Version 0.2.

[goals.git] / Goalfile.in

diff --git a/Goalfile.in b/Goalfile.in
index 9126723..722fd2b 100644 (file)
--- a/Goalfile.in
+++ b/Goalfile.in
@@ -179,10 +179,14 @@ goal install = {
     # exec_prefix die die die
     bindir="@prefix@/bin"
     datadir="@prefix@/share"
+    mandir="$datadir/man"
     mkdir -p %DESTDIR"$bindir"
-    mkdir -p %DESTDIR"$datadir/goals"
+    mkdir -p %DESTDIR"$datadir/goals/stdlib"
+    mkdir -p %DESTDIR"$mandir/man1" %DESTDIR"$mandir/man5"
     install src/goals %DESTDIR"$bindir" -m 0755
-    install %stdlibfiles %DESTDIR"$datadir"/goals -m 644
+    install %stdlibfiles %DESTDIR"$datadir"/goals/stdlib -m 644
+    install man/*.1 %DESTDIR"$mandir"/man1/ -m 644
+    install man/*.5 %DESTDIR"$mandir"/man5/ -m 644
 }
 
 #----------------------------------------------------------------------
@@ -257,6 +261,11 @@ goal dist = "%tarfile" : {
         mkdir -p "$d/$subdir"
         cp -a "$f" "$d/$subdir"
     done
+    # Replace $d/install-sh with a real file
+    if [ -L "$d/install-sh" ]; then
+        rm "$d/install-sh"
+        cp -L "install-sh" "$d/install-sh"
+    fi
     tar zcf "$o-t" "$d"
     mv "$o-t" "$o"
     rm -rf "$d"