aboutsummaryrefslogtreecommitdiff
path: root/default.do
diff options
context:
space:
mode:
Diffstat (limited to 'default.do')
-rw-r--r--default.do9
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)