docs

commit e78d0f6b35c33c6a5dfc8a0ab9ea5c3df7411ef9
parent 93c5f112cae3eab4d1ff28f914a77e2a74d98216
Author: Cem Keylan <cem@ckyln.com>
Date:   Thu, 28 Jan 2021 16:58:57 +0300

docs: update

Diffstat:
M
default.do
 | 
9
+++++----

1 file changed, 5 insertions(+), 4 deletions(-)
diff --git 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)