patch 8.1.2242: creating docs tags uses user preferences Commit: https://github.com/vim/vim/commit/70def98a957620cc325d1ab6ee35f13187598693 Author: Bram Moolenaar <Bram@vim.org> Date: Sat Nov 2 22:45:31 2019 +0100 patch 8.1.2242: creating docs tags uses user preferences Problem: Creating docs tags uses user preferences. (Tony Mechelynck) Solution: Add "--clean".

#! /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: