# Get all necessary paths.
pwd=`pwd`
base=`dirname "$2"`
- source=`echo -n "$pwd/$1" | sed "s|$base/||"`
+ source=`echo "$pwd/$1" | sed "s|$base/||"`
target=`basename "$2"`
# Go to the directory where the link is going to be created.
unset option
}
-# Generate a file using several methods. A warning is automatically added to
-# the created file and a message printed to stdout through warning().
+# Generate a file using several methods. A warning not to edit it is
+# automatically added to the created file and a message printed to stdout
+# through warning().
#
# The following commands are possible; the file extension for the source file
# in brackets.