diff options
Diffstat (limited to 'contrib/groff/gendef.sh')
| -rw-r--r-- | contrib/groff/gendef.sh | 34 |
1 files changed, 0 insertions, 34 deletions
diff --git a/contrib/groff/gendef.sh b/contrib/groff/gendef.sh deleted file mode 100644 index 4853eef4757c..000000000000 --- a/contrib/groff/gendef.sh +++ /dev/null @@ -1,34 +0,0 @@ -# -# gendef filename var=val var=val ... -# -# This script is used to generate src/include/defs.h -# - -file=$1 -shift - -defs="#define $1" -shift -for def -do - defs="$defs -#define $def" -done - -# Use $TMPDIR if defined. Default to cwd, for non-Unix systems -# which don't have /tmp on each drive (we are going to remove -# the file before we exit anyway). Put the PID in the basename, -# since the extension can only hold 3 characters on MS-DOS. -t=${TMPDIR-.}/gro$$.tmp - -sed -e 's/=/ /' >$t <<EOF -$defs -EOF - -test -r $file && cmp -s $t $file || cp $t $file - -rm -f $t - -exit 0 - -# eof |