1 files changed, 17 insertions, 0 deletions
diff --git a/make_dist_linux.sh b/make_dist_linux.sh
new file mode 100755
index 0000000..221b5f4
--- /dev/null
+++ b/make_dist_linux.sh
@@ -0,0 +1,17 @@
+#! /bin/sh
+
+outputDir=dist/lib/
+
+mkdir -p $outputDir
+
+for f in dev/lib/*/*.hpp; do
+baseName=`echo $f | cut -d "." -f 1`
+echo "RUN:" cp --parents $f.hpp $outputDir$baseName
+cp --parents $f.hpp $outputDir$baseName
+done
+
+for f in tools/*.py; do
+baseName=`echo $f | cut -d "." -f 1`
+echo "RUN:" ditto $baseName.py $outputDir$baseName
+ditto $baseName.py $outputDir$baseName
+done