doc-src/System/showsymbols
changeset 12361 b7ca18198669
parent 11573 4f85af77038f
--- 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";
+