summaryrefslogtreecommitdiff
path: root/Build/source/utils/chktex/chktex-1.6.4/chkweb
diff options
context:
space:
mode:
authorKarl Berry <karl@freefriends.org>2012-04-10 00:24:31 +0000
committerKarl Berry <karl@freefriends.org>2012-04-10 00:24:31 +0000
commitbb7c089a2c38665a114f32d3146e1ca62e03f30b (patch)
treec256190b157319cbdc152170212fa802c4c7a82a /Build/source/utils/chktex/chktex-1.6.4/chkweb
parent56c04f62eb3dd8c2c02959b67dd2d371d549521e (diff)
chktex 1.6.6
git-svn-id: svn://tug.org/texlive/trunk@25902 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/utils/chktex/chktex-1.6.4/chkweb')
-rwxr-xr-xBuild/source/utils/chktex/chktex-1.6.4/chkweb56
1 files changed, 0 insertions, 56 deletions
diff --git a/Build/source/utils/chktex/chktex-1.6.4/chkweb b/Build/source/utils/chktex/chktex-1.6.4/chkweb
deleted file mode 100755
index cbc0caa780d..00000000000
--- a/Build/source/utils/chktex/chktex-1.6.4/chkweb
+++ /dev/null
@@ -1,56 +0,0 @@
-#! /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., 675 Mass Ave, Cambridge, MA 02139, 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
-