From 79057729aa781501db16e3b63799fa6d06c1a4ee Mon Sep 17 00:00:00 2001 From: "Dirk-Jan C. Binnema" Date: Sun, 26 Mar 2023 10:10:15 +0300 Subject: [PATCH] build: improve makeinfo target --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index a972a3a6..7b2e8de6 100644 --- a/Makefile +++ b/Makefile @@ -113,4 +113,4 @@ distclean: clean HTMLPATH=${BUILDDIR}/mu4e/mu4e mu4e-doc-html: @mkdir -p ${HTMLPATH} && cp mu4e/texinfo-klare.css ${HTMLPATH} - @makeinfo --html --css-ref=texinfo-klare.css -o ${HTMLPATH} mu4e/mu4e.texi + @makeinfo -I ${BUILDDIR}/mu4e --html --css-ref=texinfo-klare.css -o ${HTMLPATH} mu4e/mu4e.texi