diff options
author | Karl Berry <karl@freefriends.org> | 2012-05-27 22:57:15 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2012-05-27 22:57:15 +0000 |
commit | 8bc39b2a986499aca420c0391a4d821833025c3b (patch) | |
tree | 7f415079b6cd2bfa0a22d56fd1b223214f35e4e3 /Master/bin/i386-netbsd/chkweb | |
parent | c1c0ee16807968f1feccb569bde5a4bb34fc6466 (diff) |
rm netbsd for 2012, no answer from jukka
git-svn-id: svn://tug.org/texlive/trunk@26678 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/bin/i386-netbsd/chkweb')
-rwxr-xr-x | Master/bin/i386-netbsd/chkweb | 56 |
1 files changed, 0 insertions, 56 deletions
diff --git a/Master/bin/i386-netbsd/chkweb b/Master/bin/i386-netbsd/chkweb deleted file mode 100755 index cbc0caa780d..00000000000 --- a/Master/bin/i386-netbsd/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 - |