diff options
author | merakor <cem@ckyln.com> | 2020-12-21 09:08:09 +0000 |
---|---|---|
committer | merakor <cem@ckyln.com> | 2020-12-21 09:08:09 +0000 |
commit | 263daddaa753ecc2aa7fc202d0bb1acbe8f43f74 (patch) | |
tree | ba14e4e46f503e7da29523acfc18209b03bd038b /docs/default.do | |
parent | ed0fd37a7dd2b9683dbc45964334defe6c0e5982 (diff) | |
download | cpt-263daddaa753ecc2aa7fc202d0bb1acbe8f43f74.tar.gz |
docs/default: change targets
FossilOrigin-Name: 779edf420267002781b77fe90d1a9301cb02aab72c6f5f5c51a5e27d439573f1
Diffstat (limited to 'docs/default.do')
-rw-r--r-- | docs/default.do | 5 |
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" |