1 files changed, 16 insertions, 0 deletions
diff --git a/doc/makecommon.sh b/doc/makecommon.sh
new file mode 100755
index 0000000..f38eabd
--- /dev/null
+++ b/doc/makecommon.sh
@@ -0,0 +1,16 @@
+#!/bin/sh
+
+if [ "x$1" = "x" ]; then
+   echo "No source"
+   exit 0
+fi
+if [ "x$2" = "x" ]; then
+   echo "No target"
+   exit 0
+fi
+
+if [ ! -h $1 ]; then
+ echo "linking $2 -> $1"
+ ln -fs "$2" "$1"
+fi
+