Diff of /manual/manual.tex

Parent Directory | Revision Log | Revision Graph | Patch

--- manual/manual.tex	2004/01/29 15:11:39	1.18
+++ manual/manual.tex	2004/01/29 16:42:12	1.19
@@ -1,4 +1,4 @@
-% $Header: /home/ubuntu/mnt/e9_copy/manual/manual.tex,v 1.18 2004/01/29 15:11:39 edhill Exp $
+% $Header: /home/ubuntu/mnt/e9_copy/manual/manual.tex,v 1.19 2004/01/29 16:42:12 cnh Exp $
 % $Name:  $
 
 \documentclass[12pt]{book}
@@ -9,6 +9,7 @@
 %aja%\usepackage{amsfonts}
 \usepackage{amsmath}
 \usepackage{html}
+\usepackage{hthtml}
 \usepackage{graphicx}
 
 %cnh%\usepackage{array}