diff --git a/Makefile b/Makefile
index 22624395..662eda7d 100644
--- a/Makefile
+++ b/Makefile
@@ -155,4 +155,4 @@ distclean: clean
 HTMLPATH=${BUILDDIR}/mu4e/mu4e
 mu4e-doc-html:
 	@mkdir -p ${HTMLPATH} && cp mu4e/texinfo-klare.css ${HTMLPATH}
-	@cd mu4e; makeinfo -v -I ${BUILDDIR}/mu4e --html --css-ref=texinfo-klare.css -o ${HTMLPATH} mu4e.texi
+	@cd mu4e; makeinfo -v -I ${BUILDDIR} -I ${BUILDDIR}/mu4e --html --css-ref=texinfo-klare.css -o ${HTMLPATH} mu4e.texi
diff --git a/mu4e/version.texi.in b/mu4e/version.texi.in
deleted file mode 100644
index a336ad04..00000000
--- a/mu4e/version.texi.in
+++ /dev/null
@@ -1,4 +0,0 @@
-@set UPDATED @fulldate@
-@set UPDATED-MONTH @monthdate@
-@set EDITION @version@
-@set VERSION @version@