1
0
mirror of https://github.com/djcb/mu.git synced 2024-06-21 06:56:48 +02:00

build: improve makeinfo target

This commit is contained in:
Dirk-Jan C. Binnema 2023-03-26 10:10:15 +03:00
parent 4979cab7aa
commit 79057729aa

View File

@ -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