--- doc/help/texxml2latex.pl	2002/07/17 15:47:15	1.2
+++ doc/help/texxml2latex.pl	2002/07/31 14:55:11	1.3
@@ -70,13 +70,14 @@ while (my $token = $p->get_token())
 	    my $file = $attr->{'name'};
 	    open (LATEX_FILE, $dirprefix . $file);
 	    print <LATEX_FILE>;
+	    print "\n\n";
 	}
 
 	if ($tag eq 'tex')
 	{
-	    print "\n";
+	    print "\n\n";
 	    print $attr->{'content'};
-	    print "\n";
+	    print "\n\n";
 	}
     }
 }