diff --git a/info/emp2html.pl b/info/emp2html.pl
index 75283f52..ce131d8d 100644
--- 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 ") {
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]);