From 02dac36b07e832678594803b00a3aadd64e21d75 Mon Sep 17 00:00:00 2001
From: Karen Arutyunov <karen@codesynthesis.com>
Date: Wed, 29 Jul 2020 16:01:39 +0300
Subject: Fix doc/buildfile

---
 cli/doc/buildfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/cli/doc/buildfile b/cli/doc/buildfile
index 78f0e62..10e3536 100644
--- a/cli/doc/buildfile
+++ b/cli/doc/buildfile
@@ -53,7 +53,7 @@ if ($cli != [null])
     clean = ($src_root != $out_root)
   }
   {{
-    diag cli $>: ($<[0])
+    diag cli $> : ($<[0]) # @@ TMP
 
     # Note that the date change doesn't change the script semantics, thus the
     # variable is defined locally.
@@ -74,7 +74,7 @@ if ($cli != [null])
     clean = ($src_root != $out_root)
   }
   {{
-    diag cli $>: ($<[0])
+    diag cli $> : ($<[0]) # @@ TMP
     $cli --generate-html $man_options      \
          --html-prologue-file $path($<[1]) \
          --html-epilogue-file $path($<[2]) \
-- 
cgit v1.1