patch 9.0.1560: Win32: When 'encoding' is set $PATH has duplicate entries Commit: https://github.com/vim/vim/commit/f741e3ec1fcecc8f23f1b37415dc3e80a31d157e Author: K.Takata <kentkt@csc.jp> Date: Mon May 15 16:41:40 2023 +0100 patch 9.0.1560: Win32: When 'encoding' is set $PATH has duplicate entries Problem: Win32: When 'encoding' is set $PATH has duplicate entries. Solution: Only append the directory if it is not there yet. (Ken Takata, closes #12400, closes #12372)

#! /bin/sh
#
# pathdef.sh: adjust pathdef.c for auto/link.sed, if it exists
#
if test -s auto/link.sed; then
  cp auto/pathdef.c auto/pathdef.tmp
  sed -f auto/link.sed <auto/pathdef.tmp >auto/pathdef.c
  rm -f auto/pathdef.tmp
fi

# vim:set sw=2 et: