usermanual.html: usermanual.sgml
	sh xmlmake.sh
