Replace the "all" script with a makefile that constructs it.

diff --git a/.gitignore b/.gitignore
new file mode 100644 (file)
index 0000000..0702cb5
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1 @@
+all

diff --git a/all b/all
deleted file mode 100644 (file)
index 573055e..0000000
--- a/all
+++ /dev/null
@@ -1,10 +0,0 @@
-#!/bin/bash
-
-me="${BASH_SOURCE[0]}"
-mydir="${me%/*}"
-
-for script in "${mydir}"/*; do
-    [ "${script}" == "$me" ] && continue
-
-    source "${script}"
-done

diff --git a/makefile b/makefile
new file mode 100644 (file)
index 0000000..2456a3d
--- /dev/null
+++ b/makefile
@@ -0,0 +1,7 @@
+SRCS = aliases compilation options sage
+
+all: $(SRCS)
+       cat $(SRCS) > $@
+
+clean:
+       rm -f all