summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2022-11-22 11:04:25 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2022-11-22 11:04:25 +0200
commit15876dcb479e9ab522d5d6c14847a5c1dc2eb673 (patch)
treef94b09e66eb3333552cf737b22d7257093ec25ad
parentd90cabcb1f6ecb0de2c4d2f32b9d8ccb45f0156f (diff)
Fix diag builtin callsHEADmaster
-rw-r--r--cli/cli/buildfile2
-rw-r--r--cli/doc/buildfile8
2 files changed, 5 insertions, 5 deletions
diff --git a/cli/cli/buildfile b/cli/cli/buildfile
index 5f51b67..92c3e6e 100644
--- a/cli/cli/buildfile
+++ b/cli/cli/buildfile
@@ -116,7 +116,7 @@ if $develop
--generate-specifier --generate-modifier \
--suppress-undocumented --reserved-name stdout
- diag cli ($<[0])
+ diag cli ($<[0]) -> $>
($<[1]) $options -o $out_base $path($<[0])
# If the result differs from the bootstrap version, copy it over and
diff --git a/cli/doc/buildfile b/cli/doc/buildfile
index 07aa917..b5328bc 100644
--- a/cli/doc/buildfile
+++ b/cli/doc/buildfile
@@ -73,7 +73,7 @@ man1{cli}: ../cli/cli{options} file{cli-prologue.1 cli-epilogue.1}
%
if $develop
{{
- diag cli --man ($<[1])
+ diag 'cli --man' ($<[1]) -> $>
# Use the copyright year to approximate the last authoring date.
#
@@ -96,7 +96,7 @@ xhtml{cli}: ../cli/cli{options} file{cli-prologue.xhtml cli-epilogue.xhtml}
%
if $develop
{{
- diag cli --html ($<[1])
+ diag 'cli --html' ($<[1]) -> $>
($<[0]) --generate-html $man_options \
--html-prologue-file $path($<[2]) \
@@ -177,7 +177,7 @@ if $html2pdf
{{
options =
- diag html2ps ($<[0])
+ diag html2ps ($<[0]) -> $>
$html2ps $options -f $path($<[1]) -o $path($>) $path($<[0])
cp --no-cleanup $path($>) $src_base/pregenerated/cli-guide.ps
@@ -189,7 +189,7 @@ if $html2pdf
{{
options = -dOptimize=true -dEmbedAllFonts=true
- diag ps2pdf ($<[0])
+ diag ps2pdf ($<[0]) -> $>
$ps2pdf $options $path($<[0]) $path($>)
cp --no-cleanup $path($>) $src_base/pregenerated/cli-guide.pdf