1 files changed, 1 insertions, 122 deletions
diff --git a/Master/bin/universal-darwin/deweb b/Master/bin/universal-darwin/deweb
index 245119b134a..339abe1c2d2 100755..120000
--- a/Master/bin/universal-darwin/deweb
+++ b/Master/bin/universal-darwin/deweb
@@ -1,122 +1 @@
-#! /usr/bin/env perl
-#  deweb v1.2, kills the C sections of a CWEB file, for passing to 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>
-#
-#
-#
-
-print STDERR "DeWEB v1.2 - Copyright 1996 Jens T. Berger Thielemann\n";
-
-undef $/;
-$texmode = 1;
-$_ = <>;
-
-while(/\@/)
-{
-    &out($`);
-    $_ = $';
-
-    if(/^@/) {
-	$_ = $';
-	&out('@');
-       	next;
-    }
-
-    if(/^([\s\n])/) {
-	$_ = $';
-	print "\n" if $1 eq "\n";
-	$texmode = 1;
-	next;
-    }
-
-    if(/^[cpd]/i) {
-	$_ = $';
-	$texmode = 0;
-	next;
-    }
-
-    if(/^\,/i) {
-	$_ = $';
-        print '\,';
-	next;
-    }
-
-    if(m!^/!) {
-	$_ = $';
-        print '\\\\';
-	next;
-    }
-
-    if(/^[h\&\|\;\#\+]/i || /^i.*/i) {
-	$_ = $';
-	next;
-    }
-
-    if(/^\*[0-9\*]?((.|\n)*?\.)/) {
-	$_ = $';
-	print $1;
-	$texmode = 1;
-	next;
-    }
-
-    if(/^[<(^.t!]((.|\n)*?)\@\>/i) {
-	$_ = $';
-	print '{'.$1.'}';
-	$texmode = 0;
-	next;
-    }
-
-    if(/^[=]((.|\n)*?)\@\>/) {
-	$_ = $';
-	print &printnl($1);
-	next;
-    }
-
-    if(/^[fsl](\s+\S+\s+\S+)|^\'(.|\n)*?\'|^\[((.|\n)*?)\@\]/i) {
-	$_ = $';
-	print &printnl($+);
-	next;
-    }
-
-    @line = split(/\n/, $_, 2);
-    print STDERR "Unknown opcode, ignored. Buffer:\n$line[0]\n";
-
-}
-
-print $_;
-
-sub printnl {
-    my($foo);
-    if(defined $_[0]) {
-	$foo = $_[0];
-	$foo =~ s/.//g;
-    } else {
-	$foo = "";
-    }
-    $foo;
-}
-
-sub out {
-    print $texmode? $_[0] : &printnl($_[0]);
-}
+../../texmf/scripts/chktex/deweb.pl
+\ No newline at end of file