1 files changed, 0 insertions, 16 deletions
diff --git a/doc/makecommon.sh b/doc/makecommon.sh
deleted file mode 100755
index f38eabd..0000000
--- a/doc/makecommon.sh
+++ /dev/null
@@ -1,16 +0,0 @@
-#!/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
-