From 263daddaa753ecc2aa7fc202d0bb1acbe8f43f74 Mon Sep 17 00:00:00 2001 From: merakor Date: Mon, 21 Dec 2020 09:08:09 +0000 Subject: docs/default: change targets FossilOrigin-Name: 779edf420267002781b77fe90d1a9301cb02aab72c6f5f5c51a5e27d439573f1 --- docs/default.do | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'docs') diff --git a/docs/default.do b/docs/default.do index 5f8ee48..a66ed9b 100644 --- a/docs/default.do +++ b/docs/default.do @@ -4,8 +4,9 @@ fn="${1%.*}" case "$1" in - all) redo-ifchange info ;; - info) redo-ifchange cpt.info ;; + all) redo info ;; + allclean) redo ../clean; rm -f cpt.texi ;; + info) redo-ifchange cpt.info cpt.texi cpt.org ;; *.info) redo-ifchange "$fn.texi" $MAKEINFO "$fn.texi" -o "$3" -- cgit v1.2.3