From 51590fa71484d049b190979d6808bc72e49c8775 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} \