1 files changed, 5 insertions, 1 deletions
diff --git a/gendef.sh b/gendef.sh
index e2b2575f..de32279b 100644
--- a/gendef.sh
+++ b/gendef.sh
@@ -11,7 +11,11 @@ do
 #define $def"
 done
 
-t=/tmp/groff.$$
+# 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