From 18c1c78d031cef9f4f8e50ff848c45737267acfb Mon Sep 17 00:00:00 2001 From: Cem Keylan Date: Mon, 14 Sep 2020 12:23:56 +0300 Subject: add install plaintext on the html output --- Makefile | 1 + 1 file changed, 1 insertion(+) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 7392697..fff2442 100644 --- a/Makefile +++ b/Makefile @@ -17,5 +17,6 @@ dist: htmldocs: rm -rf -- ${DESTDIR} makeinfo --html -o ${DESTDIR} top.texi + makeinfo --plaintext -o ${DESTDIR}/install.txt install.texi .PHONY: all dist htmldocs -- cgit v1.2.3