diff options
| author | Boris Kolpackov <boris@codesynthesis.com> | 2022-11-22 11:04:25 +0200 |
|---|---|---|
| committer | Boris Kolpackov <boris@codesynthesis.com> | 2022-11-22 11:04:25 +0200 |
| commit | 15876dcb479e9ab522d5d6c14847a5c1dc2eb673 (patch) | |
| tree | f94b09e66eb3333552cf737b22d7257093ec25ad | |
| parent | d90cabcb1f6ecb0de2c4d2f32b9d8ccb45f0156f (diff) | |
Fix diag builtin calls
| -rw-r--r-- | cli/cli/buildfile | 2 | ||||
| -rw-r--r-- | cli/doc/buildfile | 8 |
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 |