aboutsummaryrefslogtreecommitdiff
path: root/default.do
diff options
context:
space:
mode:
Diffstat (limited to 'default.do')
-rw-r--r--default.do10
1 files changed, 7 insertions, 3 deletions
diff --git a/default.do b/default.do
index 10efa0e..08d5dba 100644
--- a/default.do
+++ b/default.do
@@ -26,10 +26,14 @@ case "$1" in
;;
htmldocs)
redo-ifchange carbslinux.org carbslinux.texi install.txt install.html
- rm -f "${HTMLDIR:?}/"*
- makeinfo --html -o "${HTMLDIR}" "${TEXI}"
+ mkdir -p "${HTMLDIR:?}"
+ rm -rf "$HTMLDIR/carbslinux" \
+ "$HTMLDIR/carbslinux.html" \
+ "$HTMLDIR/install.html" \
+ "$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"
PHONY
;;
*.txt)