diff options
Diffstat (limited to 'Build/source/texk/chktex/chktex-1.7.1-PATCHES/TL-Changes')
| -rw-r--r-- | Build/source/texk/chktex/chktex-1.7.1-PATCHES/TL-Changes | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/Build/source/texk/chktex/chktex-1.7.1-PATCHES/TL-Changes b/Build/source/texk/chktex/chktex-1.7.1-PATCHES/TL-Changes deleted file mode 100644 index 57b92396f19..00000000000 --- a/Build/source/texk/chktex/chktex-1.7.1-PATCHES/TL-Changes +++ /dev/null @@ -1,13 +0,0 @@ -Changes applied to the chktex-1.7.1 tree as obtained from: - http://mirror.ctan.org/support/chktex/chktex-1.7.1.tar.gz - http://download.savannah.gnu.org/releases/chktex/chktex-1.7.1.tar.gz - -Remove: - config.h.in - configure - install-sh - stamp-h.in - -Rename: - chkweb -> chkweb.sh - |