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".

/* vi:set ts=8 sts=4 sw=4 noet:
 *
 * VIM - Vi IMproved	by Bram Moolenaar
 *
 * Do ":help uganda"  in Vim to read copying and usage conditions.
 * Do ":help credits" in Vim to see a list of people who contributed.
 */

/*
 * Atari MiNT Machine-dependent things.
 */

#define BINARY_FILE_IO