1 files 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)