diff options
author | Karen Arutyunov <karen@codesynthesis.com> | 2022-09-09 19:55:27 +0300 |
---|---|---|
committer | Karen Arutyunov <karen@codesynthesis.com> | 2022-09-09 20:05:23 +0300 |
commit | 8d80c8f5a746136b0e81a99f4c502dce98696b75 (patch) | |
tree | 72c804e5561f34f67dc6e476ca86882b6daeef14 /cli/doc/buildfile | |
parent | 7f739f0bf20ec6ce47174c244c3571cdea247c86 (diff) |
Add note to cli/doc/buildfile
Diffstat (limited to 'cli/doc/buildfile')
-rw-r--r-- | cli/doc/buildfile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/cli/doc/buildfile b/cli/doc/buildfile index af4ea97..8e40fe4 100644 --- a/cli/doc/buildfile +++ b/cli/doc/buildfile @@ -77,7 +77,7 @@ if $develop # Use the copyright year to approximate the last authoring date. # - ($<[0]) --generate-man $man_options \ + ($<[0]) --generate-man $man_options \ -v date="January $doc_year" \ --man-prologue-file $path($<[2]) \ --man-epilogue-file $path($<[3]) \ @@ -168,6 +168,9 @@ if $develop # to copy them since they are not stored in the repository, but let's do # that for consistency with the distributed source tree. # +# @@ TMP Note that cli-guide.xhtml and guide.html2ps still have copyright +# years hard-coded. +# ps{cli-guide}: xhtml{cli-guide} html2ps{guide} $html2ps { options = |