xmlrdf/commit

Added creation of HTML documentation

diff --git a/doc/Makefile b/doc/Makefile
index f8eb678..0cac9c3 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -2,11 +2,17 @@ PL=	../../../run.pl \
 	../examples/AHM/run-data.pl \
 	../lib/xmlrdf/cvt_vocabulary.pl
 
-all:	xmlrdf.pdf
+all:	pdf html
+
+pdf:	xmlrdf.pdf
+html:	xmlrdf.html
 
 xmlrdf.pdf: xmlrdf.tex README.tex
 	pdflatex xmlrdf.tex
 
+xmlrdf.html: xmlrdf.tex README.tex
+	latex2html xmlrdf.tex
+
 README.tex: README.txt $(PL)
 	./pltotex.pl --section --text README.txt $(PL)
 
diff --git a/doc/xmlrdf.tex b/doc/xmlrdf.tex
index 33d7d04..aa10168 100644
--- a/doc/xmlrdf.tex
+++ b/doc/xmlrdf.tex
@@ -6,6 +6,9 @@
 \makeindex
 
 \onefile
+\htmloutput{.}				% Output directory
+\htmlmainfile{xmlrdf}			% Main document file
+\bodycolor{white}			% Page colour
 
 \begin{document}