New info Hvy-Plastic

[empserver] / info / emp2html.pl
diff --git a/info/emp2html.pl b/info/emp2html.pl

index 75283f5264f4f9b45f3a0c34ec1aa1ce258e7996..ce131d8d66ebce45ee7588c2aab14e5af848ce93 100644 (file)
--- a/info/emp2html.pl
+++ b/info/emp2html.pl
@@ -3,7 +3,8 @@
  use strict;
  use warnings;
  
-my $esc="\\";
+my $esc = "\\";
+my $ignore = 0;
  my @a;
  
  print "<!DOCTYPE HTML PUBLIC \"-//W3C//DTD HTML 4.01//EN\"\n";
@@ -16,13 +17,20 @@ line: while (<>) {
      s/((^|[^\\])(\\\\)*)\\\".*/$1/g; # strip comments
  
      @a = req($_);
+
      if (!@a) {
-       print htmlify($_), "\n";
+       print htmlify($_), "\n" unless $ignore;
         next line;
      }
  
      # requests
  
+    if ($a[1] eq "ig") { $ignore = 1; next line; }
+    if ($ignore) {
+       $ignore = 0 if $a[1] eq "..";
+       next line;
+    }
+
      if ($a[1] eq "TH") {
         @a = checkarg(2, @a);
         $a[3] = htmlify($a[3]);