From f3de3e51fdc28f8b302da6bfe7a4bf769bdc3899 Mon Sep 17 00:00:00 2001
From: Jean-Francois Dockes <jfd@recoll.org>
Date: Fri, 2 May 2014 10:09:03 +0200
Subject: [PATCH] none

---
 src/doc/user/Makefile | 1 +
 1 file changed, 1 insertion(+)

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} \