Changeset 9177e3 in git for doc/doc2tex.pl


Ignore:
Timestamp:
Jul 4, 2005, 4:50:42 PM (18 years ago)
Author:
Hans Schönemann <hannes@…>
Branches:
(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', 'a800fe4b3e9d37a38c5a10cc0ae9dfa0c15a4ee6')
Children:
8d3a46e0396ffb25e9c32244f5af2db7ec4d5a3e
Parents:
cb12e46b8b11ffabebe9caea01c5ddc872568759
Message:
*hannes: Mariano changes (tag:MP), --prefix etc.


git-svn-id: file:///usr/local/Singular/svn/trunk@8415 2c84dea3-7e68-4137-9b89-c4e89433aadc
File:
1 edited

Legend:

Unmodified
Added
Removed
  • doc/doc2tex.pl

    rcb12e46 r9177e3  
    11#!/usr/local/bin/perl
    2 # $Id: doc2tex.pl,v 1.27 2003-04-25 13:23:46 levandov Exp $
     2# $Id: doc2tex.pl,v 1.28 2005-07-04 14:50:16 Singular Exp $
    33###################################################################
    44#  Computer Algebra System SINGULAR
     
    6565$reuse = 1;
    6666$no_ex = 0;
     67%exclude_ex = ();
    6768$no_fun = 0;
    6869$doc_subdir = "./d2t_singular";
     
    115116  if (/^-c(lean)?$/)     { $clean = 1; next;}
    116117  if (/^-no_e(x)?$/)     { $no_ex = 1; next;}
     118  if (/^-exclude$/)      { $exclude_ex{shift(@ARGV)} = 1;next;}
    117119  if (/^-no_fu(n)?$/)    { $no_fun = 1;next;}
    118120  if (/^-m(ake)?$/)      { $make =  shift(@ARGV);next;}
     
    262264{
    263265  my($inc_file, $ex_file, $lline, $thisexample, $error_ok, $cache, $no_comp,
    264      $unix_only);
     266     $unix_only, $tag);
    265267 
    266268  $lline = $line;
     
    270272  $examples{$section}++;
    271273
    272   if ($no_ex)
     274  if (/tag:(\w+)/)
     275  {
     276    $tag = $1;
     277  }
     278  else
     279  {
     280    $tag = 'NOTAG';
     281  }
     282 
     283  if ($no_ex or $exclude_ex{$tag})
    273284  {
    274285    print "{$ex_prefix}" if ($verbose);
     
    301312    last if (/^\@c\s*example\s*$/);
    302313#    s/^\s*//; # remove preceeding white spaces
    303     if ($no_ex || $no_comp || $unix_only)
     314    if ($no_ex || $exclude_ex{$tag} || $no_comp || $unix_only)
    304315    {
    305316      &protect_texi;
     
    321332
    322333  # done, if no examples
    323   return if ($no_ex || $no_comp || $unix_only);
     334  return if ($no_ex || $exclude_ex{$tag} || $no_comp || $unix_only);
    324335
    325336  # check whether it can be reused
Note: See TracChangeset for help on using the changeset viewer.