--- doc/help/texxml2latex.pl	2002/07/17 15:47:15	1.2
+++ doc/help/texxml2latex.pl	2003/07/01 18:20:52	1.4
@@ -33,7 +33,7 @@ use GDBM_File;
 
 # accept texxml document on standard in
 my $p = HTML::TokeParser->new( $ARGV[0] );
-my $dirprefix = "/home/httpd/html/adm/help/tex/";
+my $dirprefix = "../../loncom/html/adm/help/tex/";
 
 # Print the header
 open (LATEX_FILE, $dirprefix . "Latex_Header.tex");
@@ -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";
 	}
     }
 }