summaryrefslogtreecommitdiff
path: root/Master/bin/x86_64-linux/chkweb
diff options
context:
space:
mode:
authorPeter Breitenlohner <peb@mppmu.mpg.de>2013-04-10 10:15:08 +0000
committerPeter Breitenlohner <peb@mppmu.mpg.de>2013-04-10 10:15:08 +0000
commit7704860edb47bbd24279910a743ee799ad0beff2 (patch)
treef89637b6a9f77557ad03d9b7d92a1156652758da /Master/bin/x86_64-linux/chkweb
parent90ecd727c400855a4be11476b5e3a101e704ff5c (diff)
first TL13 x86_64-linux
git-svn-id: svn://tug.org/texlive/trunk@29820 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/bin/x86_64-linux/chkweb')
l---------[-rwxr-xr-x]Master/bin/x86_64-linux/chkweb57
1 files changed, 1 insertions, 56 deletions
diff --git a/Master/bin/x86_64-linux/chkweb b/Master/bin/x86_64-linux/chkweb
index 8d6361d1097..c49a84fd799 100755..120000
--- a/Master/bin/x86_64-linux/chkweb
+++ b/Master/bin/x86_64-linux/chkweb
@@ -1,56 +1 @@
-#! /bin/sh
-
-# ChkWEB v1.0, runs the LaTeX parts of a CWEB file through ChkTeX.
-# Copyright (C) 1996 Jens T. Berger Thielemann
-#
-# This program is free software; you can redistribute it and/or modify
-# it under the terms of the GNU General Public License as published by
-# the Free Software Foundation; either version 2 of the License, or
-# (at your option) any later version.
-#
-# This program is distributed in the hope that it will be useful,
-# but WITHOUT ANY WARRANTY; without even the implied warranty of
-# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
-# GNU General Public License for more details.
-#
-# You should have received a copy of the GNU General Public License
-# along with this program; if not, write to the Free Software
-# Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
-#
-# Contact the author at:
-# Jens Berger
-# Spektrumvn. 4
-# N-0666 Oslo
-# Norway
-# E-mail: <jensthi@ifi.uio.no>
-
-
-params=
-
-for p
-do
- case $p in
- --) break
- ;;
- -*) params="$params $p"
- shift
- ;;
- *) break
- ;;
- esac
-done
-
-
-if test "$1" = ""; then
- deweb | chktex -v3 $params
-else
- for file
- do
- if test -f $file; then
- deweb $file | chktex -p $file -v3 $params
- else
- deweb $file.w | chktex -p $file.w -v3 $params
- fi
- done
-fi
-
+../../texmf-dist/scripts/chktex/chkweb.sh \ No newline at end of file