diff --git a/src/doc/user/Makefile b/src/doc/user/Makefile
index 2c768bc3..cf7c057f 100644
--- a/src/doc/user/Makefile
+++ b/src/doc/user/Makefile
@@ -23,6 +23,7 @@ usermanual.html: usermanual.xml
 	xsltproc ${commonoptions} \
             -o tmpfile.html "${XSLDIR}/html/docbook.xsl" usermanual.xml
 	-tidy -indent tmpfile.html > usermanual.html
+	rm -f tmpfile.html
 
 index.html: usermanual.xml
 	xsltproc ${commonoptions} \