From 8d80c8f5a746136b0e81a99f4c502dce98696b75 Mon Sep 17 00:00:00 2001 From: Karen Arutyunov Date: Fri, 9 Sep 2022 19:55:27 +0300 Subject: Add note to cli/doc/buildfile --- cli/doc/buildfile | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'cli/doc/buildfile') 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 = -- cgit v1.1