made slightly more robust;
authorwenzelm
Tue, 04 Dec 2001 18:00:11 +0100
changeset 12361 b7ca18198669
parent 12360 9c156045c8f2
child 12362 57cd572103c4
made slightly more robust;
doc-src/System/showsymbols
--- a/doc-src/System/showsymbols	Tue Dec 04 17:59:36 2001 +0100
+++ b/doc-src/System/showsymbols	Tue Dec 04 18:00:11 2001 +0100
@@ -20,4 +20,9 @@
     }
 }
 
+if ("$eol" eq "\\\\") {
+    print "$eol\n";
+}
+
 print "\\end{supertabular}\n";
+