aboutsummaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
authormerakor <cem@ckyln.com>2020-12-21 09:08:09 +0000
committermerakor <cem@ckyln.com>2020-12-21 09:08:09 +0000
commit263daddaa753ecc2aa7fc202d0bb1acbe8f43f74 (patch)
treeba14e4e46f503e7da29523acfc18209b03bd038b /docs
parented0fd37a7dd2b9683dbc45964334defe6c0e5982 (diff)
downloadcpt-263daddaa753ecc2aa7fc202d0bb1acbe8f43f74.tar.gz
docs/default: change targets
FossilOrigin-Name: 779edf420267002781b77fe90d1a9301cb02aab72c6f5f5c51a5e27d439573f1
Diffstat (limited to 'docs')
-rw-r--r--docs/default.do5
1 files changed, 3 insertions, 2 deletions
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"