From e78d0f6b35c33c6a5dfc8a0ab9ea5c3df7411ef9 Mon Sep 17 00:00:00 2001 From: Cem Keylan Date: Thu, 28 Jan 2021 16:58:57 +0300 Subject: docs: update --- default.do | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/default.do b/default.do index 08d5dba..e72e62c 100644 --- a/default.do +++ b/default.do @@ -29,11 +29,12 @@ case "$1" in mkdir -p "${HTMLDIR:?}" rm -rf "$HTMLDIR/carbslinux" \ "$HTMLDIR/carbslinux.html" \ - "$HTMLDIR/install.html" \ + "$HTMLDIR/install.html.in" \ "$HTMLDIR/install.txt" - makeinfo --html -o "${HTMLDIR}/carbslinux" "${TEXI}" - makeinfo --html --no-split -o "${HTMLDIR}/carbslinux.html" "${TEXI}" - cp install.txt "${HTMLDIR}/install.txt" + makeinfo --html -o "$HTMLDIR/carbslinux" "$TEXI" + makeinfo --html --no-split -o "$HTMLDIR/carbslinux.html" "$TEXI" + cp install.txt "$HTMLDIR/install.txt" + cp install.html "$HTMLDIR/install.html.in" PHONY ;; *.txt) -- cgit v1.2.3