summaryrefslogtreecommitdiff
path: root/Master/bin/x86_64-darwin/deweb
diff options
context:
space:
mode:
Diffstat (limited to 'Master/bin/x86_64-darwin/deweb')
l---------[-rwxr-xr-x]Master/bin/x86_64-darwin/deweb123
1 files changed, 1 insertions, 122 deletions
diff --git a/Master/bin/x86_64-darwin/deweb b/Master/bin/x86_64-darwin/deweb
index 245119b134a..339abe1c2d2 100755..120000
--- a/Master/bin/x86_64-darwin/deweb
+++ b/Master/bin/x86_64-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